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

by Poudlardo | View on Hacker News