| | Memories: Doing my PhD at Stanford, under John L Hennessy (lawrencecpaulson.github.io) |
| 1 point by ibobev 1 hour ago | past | discuss |
|
| | Memories: Doing my PhD at Stanford, under John L Hennessy (lawrencecpaulson.github.io) |
| 1 point by chmaynard 4 days ago | past | discuss |
|
| | Broken Proofs and Broken Provers (lawrencecpaulson.github.io) |
| 64 points by RebelPotato 13 days ago | past | 14 comments |
|
| | Broken Proofs and Broken Provers (lawrencecpaulson.github.io) |
| 2 points by ibobev 33 days ago | past |
|
| | 50 Years of Proof Assistants (lawrencecpaulson.github.io) |
| 1 point by thunderbong 66 days ago | past |
|
| | 50 years of proof assistants (lawrencecpaulson.github.io) |
| 144 points by baruchel 66 days ago | past | 30 comments |
|
| | Finish Your Degree (lawrencecpaulson.github.io) |
| 3 points by sebg 85 days ago | past |
|
| | Mike Gordon and hardware verification (2023) (lawrencecpaulson.github.io) |
| 12 points by sebg 85 days ago | past |
|
| | Set theory with types (lawrencecpaulson.github.io) |
| 125 points by baruchel 87 days ago | past | 19 comments |
|
| | Set Theory with Types (lawrencecpaulson.github.io) |
| 6 points by ibobev 87 days ago | past | 1 comment |
|
| | Why don't you use dependent types? (lawrencecpaulson.github.io) |
| 269 points by baruchel 3 months ago | past | 116 comments |
|
| | Everything you know is wrong (lawrencecpaulson.github.io) |
| 5 points by mrw34 5 months ago | past | 1 comment |
|
| | Program verification is not all-or-nothing (lawrencecpaulson.github.io) |
| 1 point by tempodox 5 months ago | past |
|
| | Program verification is not all-or-nothing (lawrencecpaulson.github.io) |
| 3 points by Bogdanp 5 months ago | past |
|
| | Memories: Edinburgh ML to Standard ML (lawrencecpaulson.github.io) |
| 8 points by fanf2 9 months ago | past |
|
| | Revisiting an early critique of formal verification (lawrencecpaulson.github.io) |
| 2 points by scscsc 11 months ago | past |
|
| | Introduction to the λ-Calculus (lawrencecpaulson.github.io) |
| 46 points by matt_d on Sept 30, 2024 | past | 19 comments |
|
| | Two Small Examples by Fields Medallists (lawrencecpaulson.github.io) |
| 2 points by zaik on Feb 28, 2024 | past |
|
| | Propositions as Types: Explained (and Debunked) (lawrencecpaulson.github.io) |
| 4 points by hackandthink on Jan 6, 2024 | past | 1 comment |
|
| | What do we mean by "the foundations of mathematics"? (lawrencecpaulson.github.io) |
| 139 points by JoelMcCracken on Nov 1, 2023 | past | 139 comments |
|
| | The concept of proof within the context of machine mathematics (lawrencecpaulson.github.io) |
| 2 points by chmaynard on Oct 4, 2023 | past |
|
| | Lambda Calculus: Some Models, Some Philosophy [pdf] (lawrencecpaulson.github.io) |
| 4 points by aebtebeten on Aug 31, 2023 | past | 1 comment |
|
| | Types versus sets (and what about categories?) (2022) (lawrencecpaulson.github.io) |
| 101 points by matt_d on Aug 31, 2023 | past | 36 comments |
|
| | Propositions as Types: Explained (and Debunked) (lawrencecpaulson.github.io) |
| 3 points by ykonstant on Aug 23, 2023 | past |
|
| | When is a computer proof a proof? (lawrencecpaulson.github.io) |
| 2 points by furcyd on Aug 9, 2023 | past |
|
| | The ALEXANDRIA Project: What has been accomplished? (lawrencecpaulson.github.io) |
| 2 points by vilhelm_s on April 27, 2023 | past |
|
| | The semantics of a simple functional language (lawrencecpaulson.github.io) |
| 96 points by matt_d on March 11, 2023 | past | 6 comments |
|
| | Formalising a new proof that the square root of two is irrational (lawrencecpaulson.github.io) |
| 103 points by ColinWright on Jan 19, 2023 | past | 86 comments |
|
| | Memories: Artificial Intelligence at Stanford in the 70s (lawrencecpaulson.github.io) |
| 72 points by furcyd on Jan 11, 2023 | past | 14 comments |
|
| | Thoughts on user interfaces for theorem provers (lawrencecpaulson.github.io) |
| 3 points by todsacerdoti on Dec 19, 2022 | past | 3 comments |
|
|
| More |
