Mistral AI News company blog
Leanstral: Open-source agent for trustworthy coding and formal proof engineering
The most powerful AI platform for enterprises. Customize, fine-tune, and deploy AI assistants, autonomous agents, and multimodal AI with open models.
- Points
- 783
- HN comments
- 191
- Submissions
- 1
- Cited by
- 3 commenters
AI & Machine LearningSoftware Engineering2026
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Mar 16, 2026 | Leanstral: Open-source agent for trustworthy coding and formal proof engineering by Poudlardo | 783 | 191 |
Cited in comments
Linked from 3 Hacker News comments by 3 different people, from Mar 2026 to Sep 2026.
Most recent:
- nicce · Sep 8, 2026
- westurner · Mar 17, 2026
- james2doyle · Mar 16, 2026
