Tag: HOL system

• Mike Gordon and hardware verification (04 Jan 2023)
  
• Memories: Edinburgh LCF, Cambridge LCF, HOL88 (28 Sep 2022)
  
• Porting libraries of mathematics between proof assistants (14 Sep 2022)
  
• BDDs in HOL: the coolest thing Mike Gordon ever did (17 Aug 2022)
  
• ALEXANDRIA: Large-Scale Formal Proof for the Working Mathematician (08 Dec 2021)
  
• The axiom of choice and descriptions (10 Nov 2021)