Hackernews posts about Leanstral

1. Artful Mathematics: The Heritage of M. C. Escher [pdf] (pub.math.leidenuniv.nl)
   3 points by m-hodges 22 days ago | discuss
2. Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
   783 points by Poudlardo about 2 months ago | 191 comments
3. Mistral.ai Leanstral: open-source model designed for engineering (docs.mistral.ai)
   5 points by james2doyle about 2 months ago | 3 comments