Why is it all in the kernel?(lawrencecpaulson.github.io)70 points by ibobev 2 months ago | 29 comments
How I came to write that paper with Leslie Lamport(lawrencecpaulson.github.io)32 points by baruchel 2 months ago | 9 comments
50 years of proof assistants(lawrencecpaulson.github.io)113 points by baruchel 10 months ago | 19 comments
Mike Gordon and hardware verification (2023)(lawrencecpaulson.github.io)9 points by sebg 11 months ago | 0 comments
What do we mean by "the foundations of mathematics"?(lawrencecpaulson.github.io)115 points by JoelMcCracken 3 years ago | 101 comments
