Tag: NG de Bruijn

• The concept of proof within the context of machine mathematics (04 Oct 2023)
  
• Propositions as types: explained (and debunked) (23 Aug 2023)
  
• A few small formalisation challenges (03 Aug 2022)
  
• How Isabelle emerged from the trends of the 1980s (13 Jul 2022)
  
• What is the point of formalising mathematics? (22 Jun 2022)
  
• The de Bruijn criterion vs the LCF architecture (05 Jan 2022)
  
• NG de Bruijn and AUTOMATH (03 Nov 2021)
  
• On logical formalisms (27 Oct 2021)