Leanstral: Open-Source foundation for trustworthy vibe-coding | Mistral AI

Mistral Releases Leanstral

First open-source code agent for Lean 4.
771 points by Poudlardo 219 days ago mistral.ai 188 comments
Summary not yet generated for this article.

Original Text

Lean 4 paper (2021): https://dl.acm.org/doi/10.1007/978-3-030-79876-5_37

Comments (188 of ) ⌛

Loading more comments... ⌛
Scroll down to load more comments
No comments available.
Type to search HN and engineering blog articles
Press Escape to close  |  ↑↓ to navigate  |  Enter to open