google-deepmind/formal-conjectures
View on GitHub ↗ ★ 1,344 Lean
A collection of formalized statements of conjectures in Lean.
15 mentions on Hacker News by 10 people: 4 stories, 11 comments · first 2025-05-28 · latest 2026-10-09
20082026
-
▲ 2
A collection of formalized statements of conjectures in Leanstory by EvgeniyZh · 2025-09-08 · 0 comments
-
▲ 1
Google-DeepMind/formal-conjectures repository: formalized conjecturesstory by isaacfrond · 2025-06-17 · 0 comments
-
▲ 4
Formal Conjecturesstory by md224 · 2025-05-30 · 0 comments
-
▲ 4
Google-DeepMind/formal-conjectures: collection of formalized conjectures in leanstory by diginova · 2025-05-28 · 0 comments