Otter
by earl, 7466 days ago
A high-performance First Order Logic theorem prover/an automated deduction system.- http://www-unix.mcs.anl.gov/AR/otter/
search
56 active users
- unknown (56)
backlinks (more)
none, yet
recent stores (more)
echo earlZstrainYat|tr ZY @.
