English Logic for Computable Functions Cited by user Matěj Grabovský on 16 Feb 2016 Logic for Computable Functions (LCF) is an interactive automated theorem prover developed at the universities of Edinburgh and Stanford by Robin Milner and others in 1972.