Open Issues Need Help
View All on GitHub Green's Open Problems #65 1 day ago
good first issue new conjecture green-problems
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
good first issue ams-05: Combinatorics wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Erdős Problem 810 9 days ago
good first issue ams-05: Combinatorics erdos-problems new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Erdős Problem 784 10 days ago
good first issue ams-11: Number theory erdos-problems new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
good first issue misformalization
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Erdős 851: "the density ... is at least" 15 days ago
good first issue misformalization
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Green's Open Problems #6 15 days ago
good first issue ams-11: Number theory new conjecture green-problems
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Green's Open Problems #82 about 1 month ago
good first issue new conjecture green-problems
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Map Folding Growth Rate Conjecture about 2 months ago
good first issue ams-05: Combinatorics ams-40: Sequences + series + summability wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Green's Open Problems #5 2 months ago
good first issue ams-11: Number theory ams-20 Group theory and generalizations new conjecture green-problems
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
good first issue ams-05: Combinatorics ams-11: Number theory wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Asymptotic Density of Powerful Numbers 2 months ago
good first issue ams-11: Number theory wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Green's Open Problems #64 2 months ago
good first issue new conjecture green-problems
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
good first issue ams-05: Combinatorics ams-52: Convex and discrete geometry erdos-problems new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
good first issue ams-05: Combinatorics erdos-problems new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Elliott–Halberstam conjecture 3 months ago
good first issue ams-11: Number theory wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
good first issue ams-05: Combinatorics ams-11: Number theory erdos-problems new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
good first issue ams-05: Combinatorics erdos-problems new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Erdős Problem 696: Sequence Chains in Divisors 4 months ago
good first issue ams-11: Number theory erdos-problems new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Is 10 a solitary number? 4 months ago
good first issue ams-11: Number theory wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Erdős Problem 613 4 months ago
good first issue ams-05: Combinatorics erdos-problems new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Erdős Problem 987: Exponential Sums of Sequences 5 months ago
good first issue ams-11: Number theory ams-42: Harmonic analysis on Euclidean spaces ams-40: Sequences + series + summability erdos-problems new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Fortune's conjecture on Fortunate numbers 6 months ago
good first issue ams-11: Number theory wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Brennan conjecture 6 months ago
good first issue ams-30: Functions of a complex variable wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Lander, Parkin, and Selfridge conjecture / There is no sum of three fifth powers which is a fifth power 6 months ago
good first issue wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Dubner's conjecture: Twin prime sums 6 months ago
good first issue ams-11: Number theory wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
good first issue ams-11: Number theory wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
good first issue ams-11: Number theory wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Catalan's Mersenne conjecture 6 months ago
good first issue ams-11: Number theory wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Fuglede's conjecture: spectral sets and tilings 7 months ago
good first issue ams-42: Harmonic analysis on Euclidean spaces ams-46: Functional analysis ams-47: Operator theory wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Convergence of the Flint Hills series 7 months ago
good first issue ams-40: Sequences + series + summability wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Babai Conjecture: Diameter of Finite Simple Groups 7 months ago
good first issue ams-05: Combinatorics ams-20 Group theory and generalizations ams-68: Computer science new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Formalize the Hilbert–Smith conjecture 7 months ago
good first issue ams-57: Manifolds and cell complexes ams-22: Topological groups + Lie groups ams-58: Global analysis + analysis on manifolds wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Erdős Problem 547: Ramsey Numbers of Trees 7 months ago
good first issue ams-05: Combinatorics erdos-problems new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Idoneal Numbers Completeness Conjecture 7 months ago
good first issue ams-11: Number theory wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Existence of (2,5)-perfect numbers 7 months ago
good first issue ams-11: Number theory wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Dedekind Numbers for n ≥ 10 7 months ago
good first issue ams-05: Combinatorics ams-06: Order wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
good first issue ams-11: Number theory wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Existence of Quasiperfect Numbers 7 months ago
good first issue ams-11: Number theory new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Scholz conjecture on addition chains 7 months ago
good first issue ams-11: Number theory ams-68: Computer science wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Existence of Odd Weird Numbers 7 months ago
good first issue ams-11: Number theory wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Non-Power-of-2 Almost Perfect Numbers Conjecture 7 months ago
good first issue ams-11: Number theory wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Taxicab(5,2,n) existence for n > 1 7 months ago
good first issue ams-11: Number theory wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Van der Waerden numbers: exact values and bounds 7 months ago
good first issue ams-05: Combinatorics ams-11: Number theory wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Odd Noncototient Conjecture 7 months ago
good first issue ams-11: Number theory wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Infinitude of Perfect Numbers 7 months ago
good first issue ams-11: Number theory wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
good first issue ams-11: Number theory wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Infinitude of Betrothed Numbers 7 months ago
good first issue ams-11: Number theory wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Infinitely Many Amicable Numbers 7 months ago
good first issue ams-11: Number theory wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Relatively Prime Amicable Numbers 7 months ago
good first issue ams-11: Number theory wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Amicable Numbers with Opposite Parity 7 months ago
good first issue ams-11: Number theory wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Lychrel Numbers: Do they exist in base 10? 7 months ago
good first issue ams-11: Number theory wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Erdős Problem 1049 7 months ago
good first issue ams-11: Number theory erdos-problems new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
good first issue ams-11: Number theory ams-40: Sequences + series + summability wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Büchi's Problem: Bounded Büchi Sequences 8 months ago
good first issue ams-11: Number theory wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Finiteness of Finitely Presented Periodic Groups 8 months ago
good first issue ams-20 Group theory and generalizations wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Are there infinitely many Leinster groups? 8 months ago
good first issue ams-20 Group theory and generalizations wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Bing-Borsuk conjecture 8 months ago
good first issue ams-54: General topology ams-57: Manifolds and cell complexes wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Green's Open Problems #15 8 months ago
good first issue new conjecture green-problems
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Erdős Problem 19: Chromatic number of edge-disjoint complete graphs; Erdős-Faber-Lovász Conjecture 8 months ago
good first issue ams-05: Combinatorics erdos-problems new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
good first issue ams-11: Number theory erdos-problems new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Herzog-Schönheim conjecture 8 months ago
good first issue ams-20 Group theory and generalizations wikipedia new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Erdős Problem 829: Polylogarithmic bound on the convolution of cube indicator functions 8 months ago
good first issue ams-11: Number theory erdos-problems new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
good first issue ams-05: Combinatorics ams-52: Convex and discrete geometry erdos-problems new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
good first issue ams-05: Combinatorics ams-40: Sequences + series + summability erdos-problems new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Erdős Problem 1150: Ultraflat Polynomials Conjecture 8 months ago
good first issue ams-12: Field theory and polynomials ams-30: Functions of a complex variable erdos-problems new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
good first issue ams-11: Number theory erdos-problems ams-60: Probability theory new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
good first issue ams-30: Functions of a complex variable ams-32: Complex analysis erdos-problems new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
good first issue ams-05: Combinatorics erdos-problems new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Erdős Problem 503 8 months ago
good first issue ams-51: Geometry erdos-problems new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Green's Open Problems #85 8 months ago
good first issue new conjecture green-problems
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Green's Open Problems #24 8 months ago
good first issue new conjecture green-problems
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Erdős Problem 100 8 months ago
good first issue ams-52: Convex and discrete geometry erdos-problems new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Green's Open Problems #23 8 months ago
good first issue new conjecture green-problems
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Green's Open Problems #16 8 months ago
good first issue new conjecture green-problems
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Green's Open Problems #4 8 months ago
good first issue ams-11: Number theory new conjecture green-problems
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Green's Open Problems #45 8 months ago
good first issue new conjecture green-problems
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Green's Open Problems #37 8 months ago
good first issue new conjecture green-problems
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Green's Open Problems #66 8 months ago
good first issue new conjecture green-problems
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Green's Open Problems #61 8 months ago
good first issue new conjecture green-problems
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Green's Open Problems #58 8 months ago
good first issue new conjecture green-problems
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Green's Open Problems #96 8 months ago
good first issue new conjecture green-problems
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Green's Open Problems #94 8 months ago
good first issue new conjecture green-problems
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Green's Open Problems #77 8 months ago
good first issue new conjecture green-problems
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Erdős Problem 43 8 months ago
good first issue ams-05: Combinatorics ams-11: Number theory erdos-problems new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Erdős Problem 33 8 months ago
good first issue ams-11: Number theory erdos-problems new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Erdős Problem 312 8 months ago
good first issue ams-11: Number theory erdos-problems new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Erdős Problem 82 8 months ago
good first issue ams-05: Combinatorics erdos-problems new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Erdős Problem 884 8 months ago
good first issue ams-11: Number theory erdos-problems new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Erdős Problem 287 8 months ago
good first issue ams-11: Number theory erdos-problems new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Erdős Problem 1035 8 months ago
good first issue ams-05: Combinatorics erdos-problems new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Erdős Problem 260 8 months ago
good first issue ams-11: Number theory erdos-problems new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Green's Open Problems #3 8 months ago
good first issue ams-11: Number theory new conjecture green-problems
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Erdős Problem 386 9 months ago
good first issue ams-11: Number theory erdos-problems new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Erdős Problem 422 10 months ago
good first issue ams-11: Number theory Erdős Problems new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Erdős Problem 881 10 months ago
good first issue ams-05: Combinatorics ams-11: Number theory Erdős Problems new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Erdős Problem 822 10 months ago
good first issue ams-11: Number theory Erdős Problems new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Erdős Problem 887 10 months ago
good first issue ams-11: Number theory Erdős Problems new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Erdős Problem 1004 10 months ago
good first issue ams-11: Number theory Erdős Problems new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4
Erdős Problem 288 10 months ago
good first issue ams-11: Number theory Erdős Problems new conjecture
google-deepmind/formal-conjectures google-deepmind/formal-conjectures A collection of formalized statements of conjectures in Lean.
Open project →
1.0K
A collection of formalized statements of conjectures in Lean.
Lean
#formal-mathematics#lean4