Debian logoDebian Screenshots >

otter

resolution-style theorem prover

resolution-style theorem prover
from version 3.3f-1.1

Description

Sorry - no more information available.


Upload more screenshots

Please help extend the collection of screenshots. Just make a screenshot and upload it here. You don't need to register or anything.

Upload now


Statistics

11 other people were interested in this package here. The newest known version of this software is 3.3f-1.1 (Information last updated about 4 hours ago.)