SPASS(1) - manual page | User commands

Automated theorem prover for full first-order logic with equality.