-------------------------------------
 Calculus of Inductive Constructions
-------------------------------------

:Source: https://coq.inria.fr/distrib/current/refman/cic.html
:Converted by: Maxime Dénès