Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)

by Poudlardo • 191 comments • 783 points