Skip to content


Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable …
OCaml Updated May 21, 2019
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Coq Updated May 20, 2019
You can’t perform that action at this time.