41554 blogs · [
{
"id": "01a08798-eca8-728e-ace6-97800170c39d",
"title": "How I came to write THAT paper with Leslie Lamport",
"url": "https://lawrencecpaulson.github.io//2026/08/21/Lamport.html",
"published_at": "2026-08-21T00:00:00+00:00"
},
{
"id": "01a08798-eca8-728e-ace6-9780023f32eb",
"title": "Why is it all in the kernel?",
"url": "https://lawrencecpaulson.github.io//2026/07/30/Collatz.html",
"published_at": "2026-07-30T00:00:00+00:00"
},
{
"id": "01a08798-eca8-728e-ace6-978002df541f",
"title": "The Dottie Number",
"url": "https://lawrencecpaulson.github.io//2026/06/26/Dottie_Number.html",
"published_at": "2026-06-26T00:00:00+00:00"
},
{
"id": "01a08798-eca8-728e-ace6-978003bbe3b0",
"title": "Nullius in verba: the motto of the Royal Society",
"url": "https://lawrencecpaulson.github.io//2026/06/17/Nullius.html",
"published_at": "2026-06-17T00:00:00+00:00"
},
{
"id": "01a08798-eca8-728e-ace6-978003e5f911",
"title": "Mizar: the first usable proof assistant for mathematics",
"url": "https://lawrencecpaulson.github.io//2026/05/07/Mizar.html",
"published_at": "2026-05-07T00:00:00+00:00"
},
{
"id": "01a08798-eca8-728e-ace6-978004495bbb",
"title": "\"Why not just use Lean?\"",
"url": "https://lawrencecpaulson.github.io//2026/04/23/Why_not_Lean.html",
"published_at": "2026-04-23T00:00:00+00:00"
},
{
"id": "01a08798-eca8-728e-ace6-978004e351bb",
"title": "Memories: doing my PhD at Stanford, under John L Hennessy",
"url": "https://lawrencecpaulson.github.io//2026/02/13/John_Hennessy.html",
"published_at": "2026-02-13T00:00:00+00:00"
},
{
"id": "01a08798-eca8-728e-ace6-9780052a9ba9",
"title": "Broken proofs and broken provers",
"url": "https://lawrencecpaulson.github.io//2026/01/15/Broken_proofs.html",
"published_at": "2026-01-15T00:00:00+00:00"
},
{
"id": "01a08798-eca8-728e-ace6-9780052efdd8",
"title": "50 years of proof assistants",
"url": "https://lawrencecpaulson.github.io//2025/12/05/History_of_Proof_Assistants.html",
"published_at": "2025-12-05T00:00:00+00:00"
},
{
"id": "01a08798-eca8-728e-ace6-978005f104b7",
"title": "Set theory with types",
"url": "https://lawrencecpaulson.github.io//2025/11/21/Typed_Set_Theory.html",
"published_at": "2025-11-21T00:00:00+00:00"
}
] posts Claim your blog