Skip to content

Pull requests: google-deepmind/formal-conjectures

New pull request New
84 Open 2,141 Closed
84 Open 2,141 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(GreensOpenProblems): 33 green-problems Problems from https://people.maths.ox.ac.uk/greenbj/papers/open-problems.pdf
#3613 opened Mar 23, 2026 by jeangud Loading…
Agrawal's conjecture wikipedia
#3610 opened Mar 21, 2026 by ellow0rld Loading…
5
feat(Books/UniformDistribution): add one to Equidistribution.lean
#3609 opened Mar 21, 2026 by rwst Loading…
fix(GreenOpenProblems): 16 green-problems Problems from https://people.maths.ox.ac.uk/greenbj/papers/open-problems.pdf misformalization
#3604 opened Mar 20, 2026 by smmercuri Loading…
1
feat(ErdosProblems): 633 erdos-problems Erdős Problems
#3603 opened Mar 19, 2026 by YaelDillies Loading…
1
4
updated to "formally solved" from solved lean 1102 erdos-problems Erdős Problems
#3594 opened Mar 17, 2026 by aryanamol10 Loading…
updated to "formally solved" from open and included reference lean 1071 erdos-problems Erdős Problems
#3593 opened Mar 17, 2026 by aryanamol10 Loading…
1
updated to "formally solved" from open lean 897 erdos-problems Erdős Problems
#3592 opened Mar 17, 2026 by aryanamol10 Loading…
updated mismatch to "solved" from open mismatch at lean 868 erdos-problems Erdős Problems
#3591 opened Mar 17, 2026 by aryanamol10 Loading…
1
updated open to formally solved for 434 lean erdos-problems Erdős Problems
#3590 opened Mar 17, 2026 by aryanamol10 Loading…
1
Add voting, truth predictions, and difficulty ratings to the website
#3589 opened Mar 17, 2026 by zond Loading…
9 of 10 tasks
1
feat(ErdosProblems): 15x ramsey theory formalizations awaiting-author The author should answer a question or perform changes. Reply when done. erdos-problems Erdős Problems wikipedia
#3588 opened Mar 17, 2026 by ryantuck Loading…
15
31
feat(ErdosProblems): 6x probability-related formalizations erdos-problems Erdős Problems
#3587 opened Mar 17, 2026 by ryantuck Loading…
6
feat(ErdosProblems): formalize 423, 839 awaiting-author The author should answer a question or perform changes. Reply when done. erdos-problems Erdős Problems
#3586 opened Mar 17, 2026 by ryantuck Loading…
2
21
Fill 12 sorry's across 6 Erdos problem files (42, 340, 494, 730, 868,… erdos-problems Erdős Problems
#3525 opened Mar 12, 2026 by hjyuh Loading…
1
feat(Other): Large Steiner Systems awaiting-author The author should answer a question or perform changes. Reply when done. wikipedia
#3524 opened Mar 12, 2026 by franzhusch Loading…
7
feat(GreensOpenProblems): 30 green-problems Problems from https://people.maths.ox.ac.uk/greenbj/papers/open-problems.pdf
#3519 opened Mar 11, 2026 by jeangud • Draft
Dedekind Numbers Closed Form wikipedia
#3513 opened Mar 10, 2026 by aryanamol10 Loading…
4
feat(ErdosProblem): 1113 erdos-problems Erdős Problems wikipedia
#3500 opened Mar 9, 2026 by franzhusch Loading…
2
4
Added Odd Weird Number Conjecture awaiting-author The author should answer a question or perform changes. Reply when done. wikipedia
#3498 opened Mar 9, 2026 by eyang07 Loading…
1
9
feat(Wikipedia): Fuglede's conjecture wikipedia
#3497 opened Mar 9, 2026 by aditya-ramabadran Loading…
1
4
Short polynomial containment decidability awaiting-author The author should answer a question or perform changes. Reply when done.
#3495 opened Mar 9, 2026 by tom111 Loading…
@YaelDillies
10
feat(OpenQuantumProblems): Formalization of open quantum problem 35 awaiting-author The author should answer a question or perform changes. Reply when done.
#3491 opened Mar 9, 2026 by MarioKrenn6240 Loading…
1
8
feat(ErdosProblems): All 1179 Erdős conjectures formalized erdos-problems Erdős Problems
#3422 opened Mar 5, 2026 by ryantuck Loading…
9
ErdosProblems/367: add initial conjecture scaffold awaiting-author The author should answer a question or perform changes. Reply when done. erdos-problems Erdős Problems
#2771 opened Mar 3, 2026 by SproutSeeds Loading…
1
23
ProTip! Add no:assignee to see everything that’s not assigned.