carta

matitaclean(1) on Linux

The text 13e20d4ef334, as Debian 5.0 (Lenny) shipped it.

Matita interative theorem prover - cleanup tool

Flags it lists

matitaclean(1) on Linux now