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
5 lines
180 B
Text
5 lines
180 B
Text
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/
|