58ad5d751d
first-order logic with equality developed at Argonne National Laboratories. WWW: http://www-unix.mcs.anl.gov/AR/otter/ PR: ports/92834 Submitted by: wollman
6 lines
180 B
Plaintext
6 lines
180 B
Plaintext
Otter is an automated deduction system (theorem prover) for
|
|
first-order logic with equality developed at Argonne National
|
|
Laboratories.
|
|
|
|
WWW: http://www-unix.mcs.anl.gov/AR/otter/
|