matita-doc

User manual of the matita interactive theorem prover
  http://matita.cs.unibo.it
  0
  no reviews


This package contains the pdf and html formatted matita user manual.