start | find | index | login or register | edit | ||
Otter
by earl, 7448 days ago
A high-performance First Order Logic theorem prover/an automated deduction system.- http://www-unix.mcs.anl.gov/AR/otter/ |
search 4 active users
backlinks (more) none, yet recent stores (more) echo earlZstrainYat|tr ZY @. |
|
earl.strain.at • esa3 • online for 8674 days • c'est un vanilla site |