| Paradigms | purely functional programming |
|---|---|
| First appeared | 1984 |
| Developer | Institut National de Recherche en Informatique et en Automatique |
| Type | dependently typed programming language, open-source software, proof assistant, purely functional programming language, free software |
| First release | 1989 |
| License | GNU Lesser General Public License, version 2.1 |
| Latest version | 9.3.0 |
| Website | rocq-prover.org |
| Platforms | cross-platform |
| Written in | OCaml, C |
| Operating systems | cross-platform |
Sources: Wikidata (CC0) · Wikidata Q1131652
Programming languages · 3
| Language | Paradigms | First appeared | Developer |
|---|---|---|---|
| Agda | purely functional programming | 2007 | Chalmers University of Technology |
| Idris | purely functional programming, functional programming, total functional programming | 2007 | — |
| Lean | functional programming | 2013 | Microsoft Research, Leonardo de Moura |