#leanstral15 — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #leanstral15, aggregated by home.social.
-
https://winbuzzer.com/2026/07/06/mistral-opens-leanstral-15-for-lean-proof-engineering-xcxwbn/
Mistral AI has released Leanstral 1.5 as a free Apache-2.0 model for machine-checkable math proof work with Lean 4.
-
https://winbuzzer.com/2026/07/06/mistral-opens-leanstral-15-for-lean-proof-engineering-xcxwbn/
Mistral AI has released Leanstral 1.5 as a free Apache-2.0 model for machine-checkable math proof work with Lean 4.