Skip to content

Pull requests: google-deepmind/formal-conjectures

New pull request New
170 Open 2,599 Closed
170 Open 2,599 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

feat(Erdos/372): add largest prime factor chain statement erdos-problems Erdős Problems
#4316 opened Jun 24, 2026 by bengoechea Contributor • Draft
1
feat(Erdos/175): add central binomial squarefree statement erdos-problems Erdős Problems
#4315 opened Jun 24, 2026 by bengoechea Contributor • Draft
1
Wikipedia/IdonealCompleteness: prove knownIdonealNumbers_are_idoneal wikipedia
#4314 opened Jun 24, 2026 by willblair0708 Contributor Loading…
1
feat(Erdos/2): add covering system bound statement erdos-problems Erdős Problems
#4313 opened Jun 24, 2026 by bengoechea Contributor Loading…
1
feat(FormalConjecturesForMathlib): Introduce 𝔽 notation green-problems Problems from https://people.maths.ox.ac.uk/greenbj/papers/open-problems.pdf
#4312 opened Jun 24, 2026 by jeangud Collaborator Loading…
5
Added lean formalization of two Erdos conjectures erdos-problems Erdős Problems
#4311 opened Jun 24, 2026 by Danie-I Collaborator Loading…
2
2
feat(ErdosProblems): 726 awaiting-author The author should answer a question or perform changes. Reply when done. erdos-problems Erdős Problems
#4310 opened Jun 24, 2026 by danielchin Collaborator Loading…
1
3
refactor(GreensOpenProblems): add tests for Green 51 awaiting-author The author should answer a question or perform changes. Reply when done. green-problems Problems from https://people.maths.ox.ac.uk/greenbj/papers/open-problems.pdf
#4309 opened Jun 24, 2026 by jeangud Collaborator Loading…
5
feat(GreensOpenProblems): 52 awaiting-author The author should answer a question or perform changes. Reply when done. green-problems Problems from https://people.maths.ox.ac.uk/greenbj/papers/open-problems.pdf
#4305 opened Jun 23, 2026 by jeangud Collaborator Loading…
1
7
Remove docgen
#4302 opened Jun 23, 2026 by mo271 Collaborator Loading…
2
feat(ErdosProblems): add problems 533 and 579 (Ramsey–Turán with triangle-independence) awaiting-author The author should answer a question or perform changes. Reply when done. erdos-problems Erdős Problems
#4293 opened Jun 20, 2026 by henrykmichalewski Member Loading…
2
5
Add giscus-based comments and reactions website
#4292 opened Jun 19, 2026 by codrut3 Loading…
5
feat: add difficulty voting feature website WIP Work in progress
#4285 opened Jun 17, 2026 by Paul-Lez Collaborator Loading…
2
fix(NumberTheory/Carmichael): definition and import wikipedia
#4281 opened Jun 17, 2026 by mo271 Collaborator Loading…
4
feat(Arxiv/2507.17780): refute TxGraffiti Conjecture 4 arxiv awaiting-author The author should answer a question or perform changes. Reply when done.
#4278 opened Jun 16, 2026 by ChakshuGupta13 Contributor Loading…
1
10
fix(GreensOpenProblems/72): add 2 < k green-problems Problems from https://people.maths.ox.ac.uk/greenbj/papers/open-problems.pdf misformalization
#4271 opened Jun 15, 2026 by mo271 Collaborator Loading…
2
feat(Paper): three-sunflower-free set systems awaiting-author The author should answer a question or perform changes. Reply when done.
#4268 opened Jun 14, 2026 by SproutSeeds Contributor Loading…
6
Formalise Erdős Problem 1208 (distinct-distance subsets) awaiting-author The author should answer a question or perform changes. Reply when done. erdos-problems Erdős Problems
#4258 opened Jun 13, 2026 by Lumantis Loading…
4
feat(OEIS/80170): mark conjecture as solved oeis Conjectures from oeis.org
#4253 opened Jun 12, 2026 by guodk Loading…
1
13
feat(Wikipedia): add Erdős–Hanani conjecture on asymptotic packings and coverings awaiting-author The author should answer a question or perform changes. Reply when done. wikipedia
#4248 opened Jun 12, 2026 by henrykmichalewski Member Loading…
2
Erdős 944: machine-checked cores for the k=4, r=1 six-regular subproblem erdos-problems Erdős Problems
#4237 opened Jun 11, 2026 by AlperTheKing Contributor Loading…
1
feat(ErdosProblems/165): asymptotics of the off-diagonal Ramsey number R(3,k) awaiting-author The author should answer a question or perform changes. Reply when done. erdos-problems Erdős Problems
#4236 opened Jun 11, 2026 by henrykmichalewski Member Loading…
4
ErdosProblems/349: entire-completeness single-gap criterion and the band [5/3, 2) erdos-problems Erdős Problems
#4235 opened Jun 11, 2026 by cepadugato Contributor Loading…
1
ErdosProblems/349: (3/2, 2) is not a good pair (mod-3 obstruction) erdos-problems Erdős Problems
#4234 opened Jun 11, 2026 by cepadugato Contributor Loading…
1
Add Caccetta–Häggkvist conjecture (directed cycles vs minimum out-degree) awaiting-author The author should answer a question or perform changes. Reply when done. wikipedia
#4231 opened Jun 11, 2026 by henrykmichalewski Member Loading…
4
ProTip! Add no:assignee to see everything that’s not assigned.