GitHub - sacerdot/matita: An Interactive Theorem Prover for a variant of the Calculus of (Co)Inductive Constructions · GitHub

Name		Name	Last commit message	Last commit date
components		components
matita		matita
.gitignore		.gitignore
dune-project		dune-project
matita.install		matita.install
matita.opam		matita.opam

About

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

10 stars

2 watching

Report repository

Releases

Packages

Contributors

Languages