Leanstral: Open-source agent for trustworthy coding and formal proof engineeringmistral.ai·783 pts·Poudlardo·191