How to use Prover in a sentence
prover
Their theorem prover is written in the functional programming language lisp which is also the language in which theorems are represented.
All these measures work by setting up a set of numerical recursion equations derived from the input clauses to the theorem prover.
Using a theorem prover provides a natural way of dealing with this.
Advertisement