Leanstral: Open-source agent for trustworthy coding and formal proof engineeringmistral.ai
417 points by Poudlardo 9 hours ago | 85 comments