Tag: memories

• Memories: artificial intelligence at Stanford in the 70s (11 Jan 2023)
  
• Memories: first exposure to computers (07 Dec 2022)
  
• Memories: Edinburgh ML to Standard ML (05 Oct 2022)
  
• Memories: Edinburgh LCF, Cambridge LCF, HOL88 (28 Sep 2022)
  
• Sledgehammer: some history, some tips (13 Apr 2022)