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
586 by Poudlardo | 127 comments on Hacker News.
Lean 4 paper (2021): https://ift.tt/bx80Puk
586 by Poudlardo | 127 comments on Hacker News.
Lean 4 paper (2021): https://ift.tt/bx80Puk
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 Think And Grow
on
04:40
Rating:
No comments: