VDict mobile
Dictionary - Translation



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)].
© Vdict mobile
Switch to smart phone version   |   Switch to PC version