prooftrans(1) on Linux
The text 5a06b96ff997, as Debian 5.0 (Lenny) shipped it.
tool for transforming Prover9 proofs
Flags it lists
-
-f -
-label
The text 5a06b96ff997, as Debian 5.0 (Lenny) shipped it.
tool for transforming Prover9 proofs
-f
-label