Facts
- Appeared
- 2013
- Latest version
- 4.35.0 (October 12, 2026)
- Languages it influenced
- 1
- First release
- June 16, 2014
- Kind
- open-source software, proof assistant
- Paradigms
- functional programming
- Designed by
- Leonardo de Moura
- Developer
- Microsoft Research, Leonardo de Moura
- Influenced by
- Rocq prover, Isabelle
- Licence
- Apache Software License 2.0
- Platform
- AArch64, x86-64
- Operating system
- cross-platform
- Used for
- automated theorem proving
- Influences listed
- 2
Sources: Wikidata (CC0) · Wikidata Q6509476
Influenced · 1
| Language | Appeared | Paradigms | Type system | Languages it influenced |
|---|---|---|---|---|
| F* | — | functional programming, imperative programming | static typing, dependent typing, refinement typing, inference typing, strong typing | — |