An Interactive Theorem Prover for a variant of the Calculus of (Co)Inductive Constructions
Primary LanguageMathematica