Skip to content

Pull requests: google-deepmind/formal-conjectures

New pull request New
29 Open 196 Closed
29 Open 196 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

Inscribed square problem
#451 opened Jul 23, 2025 by peabrainiac Loading…
1
Add Erdős Problem 236
#450 opened Jul 22, 2025 by HKalbasi Loading…
1
Erdos 364
#449 opened Jul 22, 2025 by seewoo5 Loading…
1
9
Erdős Problem 233 Erdős Problems
#435 opened Jul 18, 2025 by mo271 Loading…
Erdős Problem 218 Erdős Problems
#427 opened Jul 17, 2025 by mo271 Loading…
3
Erdős Problem 160 Erdős Problems
#413 opened Jul 16, 2025 by mo271 Loading…
1
feat: pillai's conjecture
#353 opened Jul 13, 2025 by tristan-f-r Loading…
5
Feat: add formal statement for Erdos 416 ams-11: Number theory Erdős Problems
#352 opened Jul 11, 2025 by Paul-Lez Loading…
1
3
Feat: formalize Erdos Problem 522 ams-12: Field theory and polynomials ams-60: Probability theory Probability theory and stochastic processes Erdős Problems
#351 opened Jul 11, 2025 by Paul-Lez Loading…
1
3
feat: Add statements for degree sequences in triangle-free graphs
#343 opened Jul 9, 2025 by henrykmichalewski Loading…
9
added Erdős Problem 100 Awaiting author A reviewer has asked the author a question or requested changes.
#331 opened Jul 5, 2025 by Hemantgithubpro Loading…
1
12
feat: add Erdos Problem 42
#313 opened Jul 4, 2025 by saurabhraghuvanshii Loading…
1
8
Erdos 43
#307 opened Jul 4, 2025 by Krishn1412 Loading…
1
12
Kummer-Vandiver conjecture
#297 opened Jul 3, 2025 by seewoo5 Loading…
1
3
Draft: Hadwiger's conjecture
#296 opened Jul 3, 2025 by AlexKontorovich • Draft
2
Erdos Problem 329
#288 opened Jul 1, 2025 by saurabhraghuvanshii Loading…
1
13
Add Erdos 11 Awaiting author A reviewer has asked the author a question or requested changes.
#240 opened Jun 16, 2025 by zhenningdavidliu Loading…
1
30
Add Erdos 5 Awaiting author A reviewer has asked the author a question or requested changes.
#238 opened Jun 16, 2025 by Reklle Loading…
1
9
Erdos 624 ams-05: Combinatorics category: research (open) Erdős Problems
#237 opened Jun 16, 2025 by smmercuri Loading…
1
10
add Erdos 274 ams-20 Group theory and generalizations category: research (open) Erdős Problems
#236 opened Jun 16, 2025 by callesonne Loading…
1
5
Group Theory Definitions
#235 opened Jun 14, 2025 by Reklle Loading…
6
Split SchanuelsConjecture.lean
#233 opened Jun 14, 2025 by Reklle Loading…
8
Pierce Birkhoff Conjecture Awaiting author A reviewer has asked the author a question or requested changes.
#228 opened Jun 13, 2025 by shamEiNew Loading…
14
Infinitude of Wall–Sun–Sun primes
#210 opened Jun 11, 2025 by Reklle • Draft
6
Add Selfridge's conjectures Awaiting author A reviewer has asked the author a question or requested changes.
#186 opened Jun 8, 2025 by Reklle Loading…
4
ProTip! no:milestone will show everything without a milestone.