Man Pages in otter

Section 1: Executable programs or shell commands

otter.1

Resolution-style theorem prover