Revision as of 12:41, 25 July 2024 edit Syrak (talk \| contribs) 35 edits m Update link to a reference ← Previous edit		Revision as of 22:00, 17 March 2025 edit undo Kku (talk \| contribs) Extended confirmed users 121,760 edits m link proof assistant Next edit →
Line 23: == Influences == Among subsequent implementations is Cambridge LCF. Later systems simplified the logic to use total instead of partial functions, leading to [[HOL (proof assistant)\|HOL]], [[HOL Light]], and the [[Isabelle proof assistant]] that supports various logics. As of 2019, the Isabelle [[proof assistant]] still contains an implementation of an LCF logic, Isabelle/LCF. == Notes ==

Logic for Computable Functions: Difference between revisions