# Tag: general

- Memories: Edinburgh LCF, Cambridge LCF, HOL88 (28 Sep 2022)

- Porting Libraries of Mathematics Between Proof Assistants (14 Sep 2022)

- A few small formalisation challenges (03 Aug 2022)

- Mathematical truth, mathematical modelling and axioms (27 Jul 2022)

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

- On Turing machines (06 Jul 2022)

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

- Sledgehammer: some history, some tips (13 Apr 2022)

- Types versus sets (and what about categories?) (16 Mar 2022)

- Proving the obvious (12 Jan 2022)

- The de Bruijn criterion vs the LCF architecture (05 Jan 2022)

- Do GĂ¶del's incompleteness theorems matter? (15 Dec 2021)

- ALEXANDRIA: Large-Scale Formal Proof for the Working Mathematician (08 Dec 2021)

- On logical formalisms (27 Oct 2021)

- Welcome to Machine Logic! (09 Aug 2021)