Revision as of 01:42, 27 December 2002 edit 18.111.0.136 (talk) No edit summary		Revision as of 01:45, 27 December 2002 edit undo 18.111.0.136 (talk) No edit summary Next edit →
Line 1: A theorem prover developed at University of ~~Edinborough~~Edinburgh by [[Robin Milner]]. It introduced a general purpose programming language [[ML programming language\|ML]] to allow users to write theorem proving tactics. Theorems are proposition of special "theorem" type,

Logic for Computable Functions: Difference between revisions