Matita is a graphical interactive theorem prover based on the calculus of (co)inductive constructions.

this package contains the standard library of theorems of the matita interactive theorem prover.