google-deepmind/formal-conjectures

Map Folding Growth Rate Conjecture about 11 hours ago

good first issue ams-05: Combinatorics ams-40: Sequences + series + summability wikipedia new conjecture

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Green's Open Problems #5 19 days ago

good first issue ams-11: Number theory ams-20 Group theory and generalizations new conjecture green-problems

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Green's Open Problems #65 20 days ago

good first issue new conjecture green-problems

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Rudin's Conjecture on Squares in Arithmetic Progressions 22 days ago

good first issue ams-05: Combinatorics ams-11: Number theory wikipedia new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Asymptotic Density of Powerful Numbers 25 days ago

good first issue ams-11: Number theory wikipedia new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Green's Open Problems #64 25 days ago

good first issue new conjecture green-problems

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Erdős Problem 1083: Distinct Distances in Higher Dimensions about 1 month ago

good first issue ams-05: Combinatorics ams-52: Convex and discrete geometry erdos-problems new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Erdős Problem 742: Edge bounds for diameter-2-critical graphs; Murty-Simon Conjecture about 1 month ago

good first issue ams-05: Combinatorics erdos-problems new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Elliott–Halberstam conjecture about 1 month ago

good first issue ams-11: Number theory wikipedia new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Erdős Problem 1109: Estimate f(N) for Squarefree Sumsets about 1 month ago

good first issue ams-05: Combinatorics ams-11: Number theory erdos-problems new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Erdős Problem 60: copies of $C_4$ in graph with extremal number. about 1 month ago

good first issue ams-05: Combinatorics erdos-problems new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Erdős Problem 696: Sequence Chains in Divisors 2 months ago

good first issue ams-11: Number theory erdos-problems new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Is 10 a solitary number? 2 months ago

good first issue ams-11: Number theory wikipedia new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Erdős Problem 613 3 months ago

good first issue ams-05: Combinatorics erdos-problems new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Erdős Problem 987: Exponential Sums of Sequences 3 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

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Fortune's conjecture on Fortunate numbers 4 months ago

good first issue ams-11: Number theory wikipedia new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Brennan conjecture 4 months ago

good first issue ams-30: Functions of a complex variable wikipedia new conjecture

google-deepmind/formal-conjectures

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 4 months ago

good first issue wikipedia new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Dubner's conjecture: Twin prime sums 4 months ago

good first issue ams-11: Number theory wikipedia new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Agrawal's conjecture on polynomial congruences and primality testing 4 months ago

good first issue ams-11: Number theory wikipedia new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Dickson's Conjecture: Simultaneous Primes in Linear Forms 4 months ago

good first issue ams-11: Number theory wikipedia new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Catalan's Mersenne conjecture 4 months ago

good first issue ams-11: Number theory wikipedia new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Fuglede's conjecture: spectral sets and tilings 5 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

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Convergence of the Flint Hills series 5 months ago

good first issue ams-40: Sequences + series + summability wikipedia new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Babai Conjecture: Diameter of Finite Simple Groups 5 months ago

good first issue ams-05: Combinatorics ams-20 Group theory and generalizations ams-68: Computer science new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Formalize the Hilbert–Smith conjecture 5 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

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Erdős Problem 547: Ramsey Numbers of Trees 5 months ago

good first issue ams-05: Combinatorics erdos-problems new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Idoneal Numbers Completeness Conjecture 5 months ago

good first issue ams-11: Number theory wikipedia new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Existence of (2,5)-perfect numbers 5 months ago

good first issue ams-11: Number theory wikipedia new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Ramsey Number R(5,5) and other Ramsey Number Values 5 months ago

good first issue ams-05: Combinatorics wikipedia new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Dedekind Numbers for n ≥ 10 6 months ago

good first issue ams-05: Combinatorics ams-06: Order wikipedia new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Giuga Numbers Conjecture: Infinitude of Giuga Numbers 6 months ago

good first issue ams-11: Number theory wikipedia new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Existence of Quasiperfect Numbers 6 months ago

good first issue ams-11: Number theory new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Scholz conjecture on addition chains 6 months ago

good first issue ams-11: Number theory ams-68: Computer science wikipedia new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Existence of Odd Weird Numbers 6 months ago

good first issue ams-11: Number theory wikipedia new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Non-Power-of-2 Almost Perfect Numbers Conjecture 6 months ago

good first issue ams-11: Number theory wikipedia new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Taxicab(5,2,n) existence for n > 1 6 months ago

good first issue ams-11: Number theory wikipedia new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Van der Waerden numbers: exact values and bounds 6 months ago

good first issue ams-05: Combinatorics ams-11: Number theory wikipedia new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Odd Noncototient Conjecture 6 months ago

good first issue ams-11: Number theory wikipedia new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Infinitude of Perfect Numbers 6 months ago

good first issue ams-11: Number theory wikipedia new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Do betrothed number pairs with the same parity exist? 6 months ago

good first issue ams-11: Number theory wikipedia new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Infinitude of Betrothed Numbers 6 months ago

good first issue ams-11: Number theory wikipedia new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Infinitely Many Amicable Numbers 6 months ago

good first issue ams-11: Number theory wikipedia new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Relatively Prime Amicable Numbers 6 months ago

good first issue ams-11: Number theory wikipedia new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Amicable Numbers with Opposite Parity 6 months ago

good first issue ams-11: Number theory wikipedia new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Lychrel Numbers: Do they exist in base 10? 6 months ago

good first issue ams-11: Number theory wikipedia new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Erdős Problem 1049 6 months ago

good first issue ams-11: Number theory erdos-problems new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Catalan-Dickson Conjecture: Aliquot Sequence Boundedness 6 months ago

good first issue ams-11: Number theory ams-40: Sequences + series + summability wikipedia new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Büchi's Problem: Bounded Büchi Sequences 6 months ago

good first issue ams-11: Number theory wikipedia new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Finiteness of Finitely Presented Periodic Groups 6 months ago

good first issue ams-20 Group theory and generalizations wikipedia new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Are there infinitely many Leinster groups? 6 months ago

good first issue ams-20 Group theory and generalizations wikipedia new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Bing-Borsuk conjecture 6 months ago

good first issue ams-54: General topology ams-57: Manifolds and cell complexes wikipedia new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Green's Open Problems #15 6 months ago

good first issue new conjecture green-problems

google-deepmind/formal-conjectures

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 6 months ago

good first issue ams-05: Combinatorics erdos-problems new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Erdős Problem 394: Asymptotic bounds for divisibility sums over consecutive integers 6 months ago

good first issue ams-11: Number theory erdos-problems new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Herzog-Schönheim conjecture 6 months ago

good first issue ams-20 Group theory and generalizations wikipedia new conjecture

google-deepmind/formal-conjectures

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 6 months ago

good first issue ams-11: Number theory erdos-problems new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Erdős Problem 660: Distinct Distances in Convex Polyhedra 6 months ago

good first issue ams-05: Combinatorics ams-52: Convex and discrete geometry erdos-problems new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Erdős Problem 342: Ulam's Sequence: Properties and Asymptotic Behavior 6 months ago

good first issue ams-05: Combinatorics ams-40: Sequences + series + summability erdos-problems new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Erdős Problem 1150: Ultraflat Polynomials Conjecture 6 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

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Erdős Problem 1144: Random Completely Multiplicative Function Summation 6 months ago

good first issue ams-11: Number theory erdos-problems ams-60: Probability theory new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Erdős Problem 1117: Maximum Modulus Points Distribution 6 months ago

good first issue ams-30: Functions of a complex variable ams-32: Complex analysis erdos-problems new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Erdős Problem 64: Cycles of length power-of-two in graphs with min degree >= 3. 6 months ago

good first issue ams-05: Combinatorics erdos-problems new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Erdős Problem 503 6 months ago

good first issue ams-51: Geometry erdos-problems new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Erdős Problem 810 6 months ago

good first issue ams-05: Combinatorics erdos-problems new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Green's Open Problems #85 7 months ago

good first issue new conjecture green-problems

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Green's Open Problems #24 7 months ago

good first issue new conjecture green-problems

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Erdős Problem 100 7 months ago

good first issue ams-52: Convex and discrete geometry erdos-problems new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Green's Open Problems #23 7 months ago

good first issue new conjecture green-problems

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Green's Open Problems #16 7 months ago

good first issue new conjecture green-problems

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Green's Open Problems #6 7 months ago

good first issue ams-11: Number theory new conjecture green-problems

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Green's Open Problems #4 7 months ago

good first issue ams-11: Number theory new conjecture green-problems

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Green's Open Problems #45 7 months ago

good first issue new conjecture green-problems

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Green's Open Problems #37 7 months ago

good first issue new conjecture green-problems

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Green's Open Problems #66 7 months ago

good first issue new conjecture green-problems

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Green's Open Problems #61 7 months ago

good first issue new conjecture green-problems

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Green's Open Problems #58 7 months ago

good first issue new conjecture green-problems

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Green's Open Problems #96 7 months ago

good first issue new conjecture green-problems

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Green's Open Problems #94 7 months ago

good first issue new conjecture green-problems

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Green's Open Problems #82 7 months ago

good first issue new conjecture green-problems

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Green's Open Problems #77 7 months ago

good first issue new conjecture green-problems

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Erdős Problem 784 7 months ago

good first issue ams-11: Number theory erdos-problems new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Erdős Problem 43 7 months ago

good first issue ams-05: Combinatorics ams-11: Number theory erdos-problems new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Erdős Problem 33 7 months ago

good first issue ams-11: Number theory erdos-problems new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Erdős Problem 312 7 months ago

good first issue ams-11: Number theory erdos-problems new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Erdős Problem 82 7 months ago

good first issue ams-05: Combinatorics erdos-problems new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Erdős Problem 884 7 months ago

good first issue ams-11: Number theory erdos-problems new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Erdős Problem 287 7 months ago

good first issue ams-11: Number theory erdos-problems new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Erdős Problem 1035 7 months ago

good first issue ams-05: Combinatorics erdos-problems new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Erdős Problem 260 7 months ago

good first issue ams-11: Number theory erdos-problems new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Green's Open Problems #3 7 months ago

good first issue ams-11: Number theory new conjecture green-problems

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Erdős Problem 386 7 months ago

good first issue ams-11: Number theory erdos-problems new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Erdős Problem 422 8 months ago

good first issue ams-11: Number theory Erdős Problems new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Erdős Problem 881 8 months ago

good first issue ams-05: Combinatorics ams-11: Number theory Erdős Problems new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Erdős Problem 822 8 months ago

good first issue ams-11: Number theory Erdős Problems new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Erdős Problem 887 8 months ago

good first issue ams-11: Number theory Erdős Problems new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Erdős Problem 1004 8 months ago

good first issue ams-11: Number theory Erdős Problems new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Erdős Problem 288 8 months ago

good first issue ams-11: Number theory Erdős Problems new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Erdős Problem 1107 8 months ago

good first issue ams-11: Number theory Erdős Problems new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Infinitude of Mersenne Primes 9 months ago

good first issue new conjecture

google-deepmind/formal-conjectures

1.0K

A collection of formalized statements of conjectures in Lean.

Lean

#formal-mathematics#lean4

Open Issues Need Help