matita-standard-library

Standard library for the matita interactive theorem prover
  http://matita.cs.unibo.it
  2
  1 review



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.
Latest reviews
5
Lenon 7 years ago

De-ja-bu!