mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-26 05:02:18 +00:00
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/
|