Tag: law of excluded middle

• Martin-Löf type theory in Isabelle: examples (30 Nov 2022)
  
• Why are you being constructive? (20 Apr 2022)
  
• Undefined values, or what do we get when we divide by zero? (01 Dec 2021)