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