Comment by GTP 6 days ago "Page not found" for me. Did you manage to access this? What is this about? 1 comment GTP Reply sveinbjornp 6 days ago from the web archive:Leanstral 1.5 - June 30, 2026 An updated Lean 4 formal proof engineering model optimised for automated theorem proving and autoformalization. 119B total parameters, 6.5B active.https://web.archive.org/web/20260630223430/https://docs.mist...
sveinbjornp 6 days ago from the web archive:Leanstral 1.5 - June 30, 2026 An updated Lean 4 formal proof engineering model optimised for automated theorem proving and autoformalization. 119B total parameters, 6.5B active.https://web.archive.org/web/20260630223430/https://docs.mist...
from the web archive:
Leanstral 1.5 - June 30, 2026 An updated Lean 4 formal proof engineering model optimised for automated theorem proving and autoformalization. 119B total parameters, 6.5B active.
https://web.archive.org/web/20260630223430/https://docs.mist...