How to use Prover in a sentence

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.