google-deepmind/formal-conjectures
View on GitHubA collection of formalized statements of conjectures in Lean.
- Stars
- 1.3k
- Forks
- 485
- Open beginner issues
- 0
- Indexed issues
- 745
- Avg merge
- 1d 20h
- Merged PRs (30d)
- 328
- Dominant language
- Lean
- License
- Apache-2.0
- Last GitHub push
- Sep 15, 2026
- Latest indexed
- Sep 16, 2026
- Contributing guide
- Contributing guide
- Code of conduct
- No code of conduct
- Beginner labels
- good first issue
-
documentation
google-deepmind/formal-conjectures#3 · 0 comments · 0 reactions · 0 assignees ·
-
documentation enhancement
google-deepmind/formal-conjectures#5 · 1 comment · 0 reactions · 0 assignees ·
-
attributes
google-deepmind/formal-conjectures#22 · 0 comments · 0 reactions · 1 assignee ·
-
attributes enhancement
google-deepmind/formal-conjectures#23 · 0 comments · 0 reactions · 1 assignee ·
-
More style linters Openenhancement linter
google-deepmind/formal-conjectures#24 · 0 comments · 0 reactions · 1 assignee ·
-
google-deepmind/formal-conjectures#33 · 1 comment · 0 reactions · 0 assignees ·
-
google-deepmind/formal-conjectures#66 · 0 comments · 0 reactions · 0 assignees ·
-
CI
google-deepmind/formal-conjectures#94 · 4 comments · 0 reactions · 0 assignees ·
-
google-deepmind/formal-conjectures#104 · 12 comments · 2 reactions · 0 assignees ·
-
new conjecture
google-deepmind/formal-conjectures#131 · 1 comment · 1 reaction · 1 assignee ·
-
google-deepmind/formal-conjectures#151 · 10 comments · 0 reactions · 0 assignees ·
-
new conjecture
google-deepmind/formal-conjectures#159 · 3 comments · 2 reactions · 0 assignees ·
-
new conjecture
google-deepmind/formal-conjectures#167 · 0 comments · 2 reactions · 0 assignees ·
-
The Gap Conjecture Openams-20 Group theory and generalizations new conjecture
google-deepmind/formal-conjectures#171 · 5 comments · 0 reactions · 1 assignee ·
-
Conjecture sources Open
google-deepmind/formal-conjectures#182 · 3 comments · 1 reaction · 0 assignees ·
-
new conjecture
google-deepmind/formal-conjectures#191 · 4 comments · 0 reactions · 1 assignee ·
-
google-deepmind/formal-conjectures#209 · 4 comments · 0 reactions · 0 assignees ·
-
Spherical codes Opennew conjecture
google-deepmind/formal-conjectures#231 · 0 comments · 0 reactions · 1 assignee ·
-
ams-11: Number theory new conjecture
google-deepmind/formal-conjectures#247 · 0 comments · 3 reactions · 1 assignee ·
-
documentation
google-deepmind/formal-conjectures#267 · 1 comment · 0 reactions · 0 assignees ·
-
ams-05: Combinatorics erdos-problems new conjecture
google-deepmind/formal-conjectures#275 · 0 comments · 0 reactions · 0 assignees ·
-
ams-05: Combinatorics erdos-problems new conjecture
google-deepmind/formal-conjectures#308 · 0 comments · 0 reactions · 0 assignees ·
-
ams-05: Combinatorics erdos-problems new conjecture
google-deepmind/formal-conjectures#310 · 0 comments · 0 reactions · 0 assignees ·
-
ams-05: Combinatorics erdos-problems new conjecture
google-deepmind/formal-conjectures#318 · 0 comments · 0 reactions · 0 assignees ·
-
Erdős Problem 102 Openams-52: Convex and discrete geometry erdos-problems new conjecture
google-deepmind/formal-conjectures#333 · 0 comments · 0 reactions · 0 assignees ·
-
ams-52: Convex and discrete geometry erdos-problems new conjecture
google-deepmind/formal-conjectures#334 · 0 comments · 0 reactions · 0 assignees ·
-
ams-52: Convex and discrete geometry erdos-problems new conjecture
google-deepmind/formal-conjectures#337 · 0 comments · 0 reactions · 0 assignees ·
-
Erdős Problem 110 Openams-05: Combinatorics erdos-problems new conjecture
google-deepmind/formal-conjectures#340 · 0 comments · 0 reactions · 0 assignees ·
-
Erdős Problem 111 Openams-05: Combinatorics erdos-problems new conjecture
google-deepmind/formal-conjectures#341 · 0 comments · 0 reactions · 0 assignees ·
-
Erdős Problem 112 Openams-05: Combinatorics erdos-problems new conjecture
google-deepmind/formal-conjectures#357 · 0 comments · 0 reactions · 0 assignees ·
-
ams-51: Geometry erdos-problems new conjecture
google-deepmind/formal-conjectures#358 · 0 comments · 0 reactions · 0 assignees ·
-
ams-20 Group theory and generalizations erdos-problems new conjecture
google-deepmind/formal-conjectures#359 · 0 comments · 0 reactions · 0 assignees ·
-
Erdős Problem 122 Openams-11: Number theory erdos-problems new conjecture
google-deepmind/formal-conjectures#362 · 0 comments · 0 reactions · 0 assignees ·
-
Erdős Problem 129 Openams-05: Combinatorics erdos-problems new conjecture
google-deepmind/formal-conjectures#368 · 0 comments · 0 reactions · 0 assignees ·
-
ams-11: Number theory erdos-problems new conjecture
google-deepmind/formal-conjectures#370 · 0 comments · 0 reactions · 0 assignees ·
-
Erdős Problem 132 Openams-05: Combinatorics erdos-problems new conjecture
google-deepmind/formal-conjectures#371 · 1 comment · 0 reactions · 1 assignee ·
-
Erdős Problem 365 Openams-11: Number theory erdos-problems new conjecture
google-deepmind/formal-conjectures#374 · 2 comments · 0 reactions · 1 assignee ·
-
ams-11: Number theory erdos-problems new conjecture
google-deepmind/formal-conjectures#383 · 1 comment · 0 reactions · 0 assignees ·
-
Erdős Problem 149 Openams-05: Combinatorics erdos-problems new conjecture
google-deepmind/formal-conjectures#384 · 0 comments · 0 reactions · 0 assignees ·
-
Erdős Problem 151 Openams-05: Combinatorics erdos-problems new conjecture
google-deepmind/formal-conjectures#388 · 0 comments · 0 reactions · 0 assignees ·
-
Erdős Problem 161 Openams-05: Combinatorics erdos-problems new conjecture
google-deepmind/formal-conjectures#396 · 0 comments · 0 reactions · 0 assignees ·
-
Erdős Problem 162 Openams-05: Combinatorics erdos-problems new conjecture
google-deepmind/formal-conjectures#397 · 0 comments · 0 reactions · 0 assignees ·
-
ams-05: Combinatorics erdos-problems new conjecture
google-deepmind/formal-conjectures#398 · 0 comments · 0 reactions · 0 assignees ·
-
Erdős Problem 167 Openams-05: Combinatorics erdos-problems new conjecture
google-deepmind/formal-conjectures#399 · 0 comments · 0 reactions · 0 assignees ·
-
Erdős Problem 169 Openams-05: Combinatorics erdos-problems new conjecture
google-deepmind/formal-conjectures#400 · 0 comments · 0 reactions · 0 assignees ·
-
Erdős Problem 173 Openams-52: Convex and discrete geometry erdos-problems new conjecture
google-deepmind/formal-conjectures#403 · 0 comments · 0 reactions · 0 assignees ·
-
Erdős Problem 174 Openams-52: Convex and discrete geometry erdos-problems new conjecture
google-deepmind/formal-conjectures#404 · 0 comments · 0 reactions · 0 assignees ·
-
Erdős Problem 176 Openams-05: Combinatorics erdos-problems new conjecture
google-deepmind/formal-conjectures#405 · 1 comment · 0 reactions · 0 assignees ·
-
Erdős Problem 177 Openams-11: Number theory erdos-problems new conjecture
google-deepmind/formal-conjectures#406 · 0 comments · 0 reactions · 0 assignees ·
-
Erdős Problem 187 Openams-05: Combinatorics erdos-problems new conjecture
google-deepmind/formal-conjectures#411 · 0 comments · 0 reactions · 0 assignees ·