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

717 points

by Poudlardo

22 hours ago

172 comments