Man Pages in matita

Section 1: Executable programs or shell commands

matitac.1

Matita interative theorem prover - batch compiler

matitac.opt.1

Matita interative theorem prover - batch compiler

matitaclean.1

Matita interative theorem prover - cleanup tool