Leanstral 1.5 - Mistral AI

Global World Thu, 02 Jul 2026 20:03:06 GMT Moderate confidence — 64/100

June 30, 2026v1.5An updated Lean 4 formal proof engineering model optimised for automated theorem proving and autoformalization.

Unverified

June 30, 2026v1.5An updated Lean 4 formal proof engineering model optimised for automated theorem proving and autoformalization.

Sources: Mistral