Skip to content

Pull requests: google-deepmind/formal-conjectures

New pull request New
32 Open 384 Closed
32 Open 384 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

Add Erdős Problem 1059
#1130 opened Oct 18, 2025 by edwag Loading…
Add erdos 276 ams-11: Number theory Erdős Problems WIP
#1128 opened Oct 17, 2025 by callesonne Loading…
Erdős problem #1074
#1125 opened Oct 15, 2025 by smmercuri Loading…
1
5
add lean-release-tag workflow
#1121 opened Oct 15, 2025 by mo271 Loading…
feat: add implementation of P vs NP problem
#1120 opened Oct 15, 2025 by BoltonBailey • Draft
feat(erdos): add formalization scaffold for Problem 774 (dissociated sets)
#937 opened Oct 10, 2025 by Solventerritory Loading…
4
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…
10
feat: Add Erdős Problem 263 Erdős Problems
#686 opened Sep 25, 2025 by cosmicgenius Loading…
1
11
feat: add basic API for halting of TMs
#675 opened Sep 22, 2025 by Paul-Lez Loading…
2
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…
19
Erdős Problem 89 Erdős Problems
#657 opened Sep 7, 2025 by mo271 Loading…
1
7
Feat: formalise Erdős Problem 359 Erdős Problems
#620 opened Aug 27, 2025 by Paul-Lez Loading…
6
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
43
Erdos 43 Awaiting author A reviewer has asked the author a question or requested changes. Erdős Problems
#307 opened Jul 4, 2025 by Krishn1412 Loading…
1
26
ProTip! Updated in the last three days: updated:>2025-10-16.