Articles from lawrencecpaulson.github.io

Articles from lawrencecpaulson.github.io

What do we mean by "the foundations of mathematics"? (lawrencecpaulson.github.io)
2023-11-2 Mathematics

Propositions as types: explained (and debunked) (lawrencecpaulson.github.io)
2023-8-25

When is a computer proof a proof? (lawrencecpaulson.github.io)
2023-8-10

The semantics of a simple functional language (lawrencecpaulson.github.io)
2023-3-26 Functional

The semantics of a simple functional language (lawrencecpaulson.github.io)
2023-3-12 Functional

Formalising a new proof that the square root of two is irrational (lawrencecpaulson.github.io)
2023-1-19

Thoughts on user interfaces for theorem provers (lawrencecpaulson.github.io)
2022-12-19 UI

Verifying distributed systems with Isabelle/HOL, by Martin Kleppmann (lawrencecpaulson.github.io)
2022-10-13

Memories: Edinburgh ML to Standard ML (lawrencecpaulson.github.io)
2022-10-6

Proving the obvious (lawrencecpaulson.github.io)
2022-9-20

Why are you being constructive? (lawrencecpaulson.github.io)
2022-9-18

Previous Page Next Page