Hacker News with Generative AI: Lean
« Back to main
LeanDojo: Theorem Proving in Lean Using Language Models
(leandojo.org)
Theorem Proving
,
Lean
,
Language Models
,
Artificial Intelligence
3 points by hendler 176 days ago |
0 comments
New Foundations is consistent – a difficult mathematical proof proved using Lean
(leanprover-community.github.io)
Mathematics
,
Formal Verification
,
Proof Assistants
,
Lean
340 points by namanyayg 270 days ago |
162 comments