How I came to write that paper with Leslie Lamport (lawrencecpaulson.github.io) | HN Screenshots

YHacker Newsscreenshots

Screenshot of lawrencecpaulson.github.io: How I came to write that paper with Leslie Lamport

First screen, captured 2 months ago.

Looks similar

Screenshot of lawrencecpaulson.github.io: Set theory with types

Set theory with types (lawrencecpaulson.github.io)

105 points by baruchel 11 months ago | 17 comments

Screenshot of lawrencecpaulson.github.io: Broken Proofs and Broken Provers

Broken Proofs and Broken Provers (lawrencecpaulson.github.io)

52 points by RebelPotato 8 months ago | 9 comments

Screenshot of lawrencecpaulson.github.io: Mike Gordon and hardware verification (2023)

Mike Gordon and hardware verification (2023)(lawrencecpaulson.github.io)

9 points by sebg 11 months ago | 0 comments

Screenshot of lawrencecpaulson.github.io: Why is it all in the kernel?

Why is it all in the kernel?(lawrencecpaulson.github.io)

70 points by ibobev 2 months ago | 29 comments

Screenshot of lawrencecpaulson.github.io: What do we mean by "the foundations of mathematics"?

What do we mean by "the foundations of mathematics"?(lawrencecpaulson.github.io)

115 points by JoelMcCracken 3 years ago | 101 comments

Screenshot of lawrencecpaulson.github.io: Types versus sets (and what about categories?) (2022)

Types versus sets (and what about categories?) (2022)(lawrencecpaulson.github.io)

83 points by matt_d 3 years ago | 34 comments