Hackernews posts about Leanstral

1. Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
   781 points by Poudlardo 5 days ago | 192 comments
2. Mistral.ai Leanstral: open-source model designed for engineering (docs.mistral.ai)
   5 points by james2doyle 5 days ago | 3 comments