Debian logoDebian Screenshots >

otter

resolution-style theorem prover

resolution-style theorem prover
from version 3.3f-1.1