# Leanstral

id: ent_leanstral  
kind: product  
timeline: /timelines/leanstral.md  
page: /record/leanstral  
same_as: https://asof.is/record/leanstral (how to cite the id: /identifiers.md)  

open-source Lean 4 formal proof engineering agent model

## Fact pages

One page per fact: the current value with its sources, then every dated value and what replaced what. Fetch any of them as markdown.

- [Leanstral release date](/record/leanstral/model_release.md)
- [Leanstral deprecation](/record/leanstral/deprecated.md)
- [Leanstral retirement](/record/leanstral/retired.md)

## All claims

One claim per line, newest first. Superseded claims stay visible.

- [Leanstral](/record/leanstral.md) | retired | labs-leanstral-2603 | valid 2026-06-30 to present | conf 0.95 | valid | [clm_AAE1E58BE35D](/claim/clm_AAE1E58BE35D.md)
  sources: https://docs.mistral.ai/getting-started/models/
- [Leanstral](/record/leanstral.md) | deprecated | labs-leanstral-2603 | valid 2026-05-22 to present | conf 0.95 | valid | [clm_93B321C90F16](/claim/clm_93B321C90F16.md)
  sources: https://docs.mistral.ai/getting-started/models/

## Posts and Hugging Face repos (2)

Dated items from the entity's own feeds, and the days its Hugging Face repositories were created, newest first.

- [Leanstral](/record/leanstral.md) | model_release | Leanstral 1.5 | valid 2026-06-30 to present | conf 0.95 | valid | [clm_EDF0DE818A25](/claim/clm_EDF0DE818A25.md)
  sources: https://docs.mistral.ai/getting-started/changelog/
- [Leanstral](/record/leanstral.md) | model_release | Leanstral | valid 2026-03-16 to present | conf 0.95 | valid | [clm_4439F9522BEC](/claim/clm_4439F9522BEC.md)
  sources: https://mistral.ai/news/leanstral

---

AsOf is a temporal fact ledger: a structured, dated, sourced record of what is true and what changed, built for AI retrieval.