nqthm

from The Free On-line Dictionary of Computing (8 July 2008)

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)].