Nqthm
The language used in the Boyer-Moore theorem prover.
["Proving Theorems About LISP Functions", R.S. Boyer et al JACM 22(1):129-144 (Jan 1975)].
Nearby terms:
N-Prolog « NP time « NQS « Nqthm » nr » NREN » nroff
The language used in the Boyer-Moore theorem prover.
["Proving Theorems About LISP Functions", R.S. Boyer et al JACM 22(1):129-144 (Jan 1975)].
Nearby terms:
N-Prolog « NP time « NQS « Nqthm » nr » NREN » nroff