Encyclopedia > L > LCF theorem prover
LCF theorem prover
LCF is an interactive theorem prover developed at the universities of Edinburgh and Stanford by Robin Milner and others. LCF (Logic for Computable Functions) introduced the general purpose programming language ML to allow users to write theorem proving tactics.
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)