Posted inOur AI Tool Tests Leanstral 1.5 Test: Mistral’s New Math Proof Engine We ran Leanstral 1.5, Mistral's new Lean 4 model, on three real cases. Our verdict for pros who are not mathematicians.
