Home / best / best : Leanstral: Open-source agent for trustworthy coding and formal proof engineering

best : Leanstral: Open-source agent for trustworthy coding and formal proof engineering

March 17, 2026 best

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

No comments

Subscribe to: Post Comments ( Atom )