Tag: LCF

• Memories: artificial intelligence at Stanford in the 70s (11 Jan 2023)
  
• Thoughts on user interfaces for theorem provers (14 Dec 2022)
  
• Memories: Edinburgh LCF, Cambridge LCF, HOL88 (28 Sep 2022)
  
• How Isabelle emerged from the trends of the 1980s (13 Jul 2022)
  
• The de Bruijn criterion vs the LCF architecture (05 Jan 2022)