Encyclopedia > L > Lean theorem prover
Lean theorem prover
A lean theorem prover is an automated theorem prover implemented in a minimum amount of code. Lean provers are generally implemented in Prolog, and make proficient use of the backtracking engine and logic variables of that language.
Information are taken from Wikipedia, the open encyclopedia, to which contribute many volunteers from around the whole world. Texts are available under the following conditions GNU Free Documentation License.
Encyklopedie (cz) Encyklopédia (sk) Enzyklopädie (de)