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

720 points

by Poudlardo

23 hours ago

173 comments