carta

matitac(1) on Linux

The text 1d6982e29e2b, as Debian 7 (Wheezy) shipped it.

Matita interative theorem prover - batch compiler

Flags it lists

matitac(1) on Linux now