start | find | index | login or register | edit
Otter
by earl, 7436 days ago
A high-performance First Order Logic theorem prover/an automated deduction system.

- http://www-unix.mcs.anl.gov/AR/otter/

search

42 active users

backlinks (more)

none, yet

recent stores (more)

powered by vanilla
echo earlZstrainYat|tr ZY @.
earl.strain.at • esa3 • online for 8662 days • c'est un vanilla site