Hackernews posts about Leanstral

1. Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
   783 points by Poudlardo 6 months ago | 191 comments
2. Leanstral 1.5: Proof abundance for all (mistral.ai)
   374 points by programLyrique 3 months ago | 107 comments
3. Leanstral 1.5 (docs.mistral.ai)
   310 points by vetronauta 3 months ago | 149 comments
4. Leanstral 1.5: Proof Abundance for All (mistral.ai)
   10 points by meetpateltech 3 months ago | 1 comments
5. Mistralai/Leanstral-1.5-119B-A6B (huggingface.co)
   8 points by satvikpendem 3 months ago | 1 comments
6. Mistral.ai Leanstral: open-source model designed for engineering (docs.mistral.ai)
   5 points by james2doyle 6 months ago | 3 comments
7. Leanstral [pdf] (github.com)
   2 points by gmays about 2 months ago | discuss
8. Grok is a surprisingly good automated theorem prover
   3 points by henryrobbins00 2 months ago | 1 comments