GitHub repository: sacerdot/matita
Primary language: Mathematica
Created: 2023-02-16T10:43:11Z
Description: An Interactive Theorem Prover for a variant of the Calculus of (Co)Inductive Constructions