Tag: nominal package

• Formalising Gödel's incompleteness theorems, III: Coding and Bound Variables (01 Jun 2022)
  
• Formalising Gödel's incompleteness theorems, II: Σ-formulas (25 May 2022)
  
• Formalising Gödel's incompleteness theorems, I (18 May 2022)