leanstral on Hacker News: 1 stories with screenshots

Leanstral 1.5: Proof abundance for all (mistral.ai)

353 points by programLyrique 3 months ago | 94 comments

Mistral AI research blog post announcing Leanstral 1.5, a model for generating formal proofs in the Lean theorem prover.