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