LeanDojo: Theorem Proving in Lean Using LLMs (leandojo.org)
LeanDojo, Theorem Proving, AI, Programming
170 points by aseg 173 days ago | 53 comments