Living Person
Rocq
is
As of April 14, 2026
37 years old
approximately!
Date of Birth
(1989 ) is
Snake
Year
* Calculated from Wikipedia data.
Accuracy is not guaranteed.
approx.Cosmic Age Calculator
Moon
approx. 499.6 years old
Mercury
approx. 155.2 years old
Venus
approx. 60.7 years old
Mars
approx. 19.9 years old
Jupiter
approx. 3.2 years old
Saturn
approx. 1.3 years old
* Calculated based on each planet's orbital period.
| The Rocq Prover | |
|---|---|
 | |
| Original authors | Thierry Coquand, Gérard Huet, Christine Paulin-Mohring, Bruno Barras, Jean-Christophe Filliâtre, Hugo Herbelin, Chetan Murthy, Yves Bertot, Pierre Castéran |
| Developers | INRIA, École Polytechnique, University of Paris-Sud, Paris Diderot University, CNRS, ENS Lyon |
| Initial release | 1 May 1989 (version 4.10) |
| Stable release | 9.1.0 
/ 15 September 2025 |
| Written in | OCaml |
| Operating system | Cross-platform |
| Available in | English |
| Type | Proof assistant |
| License | LGPLv2.1 |
| Website | rocq-prover |
| Repository | github |
Look up "Rocq" on WikipediaWikipedia Categories
Loading...