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

Bright Side Family March 17, 2026

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

Post a Comment

0 Comments