Tag: formalised mathematics

• A tricky lower bound proof (08 Aug 2024)
  
• Hao Wang on the formalisation of mathematics (26 Jul 2023)
  
• Automation and engineering in mathematics, by Pedro Sánchez Terraf (16 Nov 2022)
  
• (Hilbert, Isabelle) and more universal pairs, by Marco David (09 Nov 2022)
  
• What is the point of formalising mathematics? (22 Jun 2022)
  
• Formalising Ramsey theory, II (15 Jun 2022)
  
• Wetzel's problem and the continuum hypothesis (27 Apr 2022)
  
• A classical proof: exponentials are irrational (16 Feb 2022)
  
• Formalising mathematics in set theory (02 Feb 2022)
  
• Formalising extremal graph theory, I (19 Jan 2022)