google-deepmind/formal-conjectures
A collection of formalized statements of conjectures in Lean.
4 best points · 0 comments · 4 Hacker News posts · 1,353 GitHub stars · View on GitHub
Hacker News discussions
- Google-DeepMind/formal-conjectures: collection of formalized conjectures in lean (4 points, 0 comments, by diginova, 2025-05-28)
- Formal Conjectures (4 points, 0 comments, by md224, 2025-05-30)
- A collection of formalized statements of conjectures in Lean (2 points, 0 comments, by EvgeniyZh, 2025-09-08)
- Google-DeepMind/formal-conjectures repository: formalized conjectures (1 points, 0 comments, by isaacfrond, 2025-06-17)