Tag: constructive logic

• 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)
  
• Why are you being constructive? (20 Apr 2022)
  
• Intuitionism and constructive logic (24 Nov 2021)