Skip to content

Pull requests: google-deepmind/formal-conjectures

New pull request New
33 Open 368 Closed
33 Open 368 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

Erdős Problem 686
#900 opened Oct 8, 2025 by sboukortt Loading…
1
Green's Open Problem 1 Green's Open Problems Problems from https://people.maths.ox.ac.uk/greenbj/papers/open-problems.pdf
#899 opened Oct 8, 2025 by mo271 Loading…
1
Erdős Problem 647 Erdős Problems
#854 opened Oct 7, 2025 by smmercuri Loading…
1
cleanup imports and trailing whitespace
#852 opened Oct 7, 2025 by mo271 Loading…
Erdős Problem 351 Erdős Problems
#818 opened Oct 6, 2025 by Paul-Lez Loading…
1
3
Erdős Problem 422 Erdős Problems
#692 opened Sep 28, 2025 by rao107 Loading…
5
Erdos 975 Erdős Problems
#691 opened Sep 26, 2025 by seewoo5 Loading…
6
feat: Add Erdős Problem 263 Erdős Problems
#686 opened Sep 25, 2025 by cosmicgenius Loading…
1
9
Add Erdős Problem 330: Minimal bases with positive density Erdős Problems
#678 opened Sep 24, 2025 by Solventerritory Loading…
51
feat: add basic API for halting of TMs
#675 opened Sep 22, 2025 by Paul-Lez Loading…
1
approval check workflow
#667 opened Sep 15, 2025 by mo271 • Draft
Erdős Problem 503 Erdős Problems
#659 opened Sep 7, 2025 by rao107 Loading…
16
Erdős Problem 89 Erdős Problems
#657 opened Sep 7, 2025 by mo271 Loading…
1
7
feat: Erdős Problem 357 Erdős Problems
#622 opened Aug 27, 2025 by Paul-Lez Loading…
1
8
Feat: formalise Erdős Problem 359 Awaiting author A reviewer has asked the author a question or requested changes. Erdős Problems
#620 opened Aug 27, 2025 by Paul-Lez Loading…
2
bump toolchain and Mathlib to v4.22.0
#603 opened Aug 21, 2025 by mo271 • Draft
2
bump toolchain and Mathlib to v4.21.0
#602 opened Aug 21, 2025 by mo271 • Draft
bump toolchain and Mathlib to v4.20.1
#588 opened Aug 19, 2025 by mo271 • Draft
bump toolchain and Mathlib to v4.19.0
#585 opened Aug 19, 2025 by mo271 • Draft
Erdős 625 Erdős Problems help wanted Extra attention is needed
#570 opened Aug 13, 2025 by mo271 • Draft
2
feat: state results and conjectures on VCₘ dim of convex sets in ℝⁿ Awaiting author A reviewer has asked the author a question or requested changes.
#553 opened Aug 11, 2025 by YaelDillies Loading…
8
feat: Implement Turing Machine Elaborator ams-03: Mathematical logic and foundations including model theory, computability theory, set theory, proof theory, and algebraic logic
#526 opened Aug 1, 2025 by Paul-Lez Loading…
26
Erdos Problems 108 and 740! Awaiting author A reviewer has asked the author a question or requested changes. Erdős Problems
#454 opened Jul 27, 2025 by Robertboy18 Loading…
8
feat: Add statements for degree sequences in triangle-free graphs
#343 opened Jul 9, 2025 by henrykmichalewski Loading…
9
feat: add Erdos Problem 42 Erdős Problems
#313 opened Jul 4, 2025 by saurabhraghuvanshii Loading…
1
40
ProTip! Mix and match filters to narrow down what you’re looking for.