Tag: Martin-Löf type theory

• Propositions as types: explained (and debunked) (23 Aug 2023)
  
• Martin-Löf type theory in Isabelle: examples (30 Nov 2022)
  
• Martin-Löf type theory in Isabelle: formalisation (23 Nov 2022)
  
• How Isabelle emerged from the trends of the 1980s (13 Jul 2022)
  
• Why are you being constructive? (20 Apr 2022)
  
• Types versus sets (and what about categories?) (16 Mar 2022)
  
• Intuitionism and constructive logic (24 Nov 2021)