PROVER9(1) - manual page | User commands

Resolution/paramodulation theorem prover.

Loading manual page ...

This manual	Reference	Other manuals
prover9(1)	referred by	clausefilter(1) \| clausetester(1) \| interpfilter(1) \| mace4(1) \| prooftrans(1) \| prover9-mace4(1) \| rewriter(1)
prover9(1)	refer to	mace4(1)