Software
Lean
software for interactive and automated theorem proving
Overview text may include a short Wikipedia extract. See sources.
Also known as Lean prover
Key facts
- Official website
- https://lean-lang.org/ · Wikidata
- Released
- 2013-01-01 · Wikidata
Timeline
-
Released
Released date from Wikidata.
Sources
- Wikidata — Lean