# Tag: AUTOMATH

- What do we mean by "the foundations of mathematics"? (01 Nov 2023)

- How Isabelle emerged from the trends of the 1980s (13 Jul 2022)

- What is the point of formalising mathematics? (22 Jun 2022)

- Undefined values, or what do we get when we divide by zero? (01 Dec 2021)

- NG de Bruijn and AUTOMATH (03 Nov 2021)