Hacker News new | ask | show | jobs
LeanDojo: Theorem Proving in Lean Using LLMs (leandojo.org)
2 points by aseg 1091 days ago