Tag: AUTOMATH

• What do we mean by "the foundations of mathematics"? (01 Nov 2023)
  
• How Isabelle emerged from the trends of the 1980s (13 Jul 2022)
  
• What is the point of formalising mathematics? (22 Jun 2022)
  
• Undefined values, or what do we get when we divide by zero? (01 Dec 2021)
  
• NG de Bruijn and AUTOMATH (03 Nov 2021)