Leanstral: Open-source agent for trustworthy coding and formal proof engineering(mistral.ai)
730 points by Poudlardo | 178 comments
Mistral AI announcement of Leanstral, an open-source code agent for Lean 4 aimed at trustworthy coding and formal proof engineering.