matitaclean(1) on Linux
The text a9cbd374c948, as Debian 7 (Wheezy) shipped it.
Matita interative theorem prover - cleanup tool
Flags it lists
-
--help -
-help
The text a9cbd374c948, as Debian 7 (Wheezy) shipped it.
Matita interative theorem prover - cleanup tool
--help
-help