New best story on Hacker News: Leanstral: Open-source agent for trustworthy coding and formal proof engineering

Leanstral: Open-source agent for trustworthy coding and formal proof engineering
602 by Poudlardo | 128 comments on Hacker News.
Lean 4 paper (2021): https://ift.tt/RLHkrAY