carta

matitac(1) on Linux

The text 9e377997dff1, as Debian 5.0 (Lenny) shipped it.

Matita interative theorem prover - batch compiler

Flags it lists

matitac(1) on Linux now