Hackernews posts about Leanstral

1. 01
   

   newLeanstral: Open-source agent for trustworthy coding and formal proof engineeringmistral.ai

   ▲ 783Poudlardo236d💬 191savesaved
2. 02
   

   newLeanstral 1.5: Proof abundance for allmistral.ai

   ▲ 374programLyrique127d💬 107savesaved
3. 03
   

   newLeanstral 1.5docs.mistral.ai

   ▲ 310vetronauta130d💬 149savesaved
4. 04
   

   newLeanstral 1.5: Proof Abundance for Allmistral.ai

   ▲ 10meetpateltech127d💬 1savesaved
5. 05
   

   newMistralai/Leanstral-1.5-119B-A6Bhuggingface.co

   ▲ 8satvikpendem127d💬 1savesaved
6. 06
   

   newMistral.ai Leanstral: open-source model designed for engineeringdocs.mistral.ai

   ▲ 5james2doyle236d💬 3savesaved
7. 07
   

   newLeanstral [pdf]github.com

   ▲ 2gmays108ddiscusssavesaved
8. 08
   

   newGrok is a surprisingly good automated theorem prover

   ▲ 3henryrobbins00108d💬 1savesaved

· edit