LE
Leanstral 1.5 - Mistral AI
Author ProfileClaim This Author Profile
Prove ownership by publishing #HashtagPLUS and this profile link on your author page or an article under your byline. A moderator or admin will review the request before it merges into your real HashtagPLUS username.
0 karma0 postsjoined 3 months ago
🌐 docs.mistral.aiSource
An updated Lean 4 formal proof engineering model optimised for automated theorem proving and autoformalization. 119B total parameters, 6.5B active.
3 months ago