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
583 by Poudlardo | 126 comments on Hacker News.
Lean 4 paper (2021): https://ift.tt/aBxNbGH
583 by Poudlardo | 126 comments on Hacker News.
Lean 4 paper (2021): https://ift.tt/aBxNbGH
New best story on Hacker News: Leanstral: Open-source agent for trustworthy coding and formal proof engineering
![New best story on Hacker News: Leanstral: Open-source agent for trustworthy coding and formal proof engineering]()
Reviewed by aad
on
04:22
Rating:
No comments: