news.volyx.in

LeanDojo: Theorem Proving in Lean Using LLMs (leandojo.org)

170 points by aseg · 743 days ago · 53 comments on HN

The AI summary for this story hasn't been generated yet — it's produced hourly. Check back soon. Meanwhile, read the discussion on HN.