They offer different flash templates with latest features.
Login

Forgot password
Register
Back

matita-standard-library

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

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.

User reviews:
ScoreComment

Lenon
4 years ago
5 De-ja-bu!