Hackernews posts about Leanstral

1. Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
   783 points by Poudlardo 3 months ago | 191 comments
2. Mistral.ai Leanstral: open-source model designed for engineering (docs.mistral.ai)
   5 points by james2doyle 3 months ago | 3 comments
3. Ask HN: Validating a Tool to Help Founders Stay Focused and Build What Matters
   2 points by mmarvramm about 1 year ago | 2 comments
4. Artful Mathematics: The Heritage of M. C. Escher [pdf] (pub.math.leidenuniv.nl)
   3 points by m-hodges 2 months ago | discuss