# 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)