Search: lawrencecpaulson.github.io | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

“Why not just use Lean?” (lawrencecpaulson.github.io)

304 points

a month ago

2.

Why don't you use dependent types? (lawrencecpaulson.github.io)

269 points

7 months ago

3.

Verifying distributed systems with Isabelle/HOL (lawrencecpaulson.github.io)

163 points

4 years ago

4.

50 years of proof assistants (lawrencecpaulson.github.io)

144 points

6 months ago

5.

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

139 points

3 years ago

6.

Set theory with types (lawrencecpaulson.github.io)

125 points

6 months ago

7.

Memories: Edinburgh ML to Standard ML (lawrencecpaulson.github.io)

119 points

4 years ago

8.

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

103 points

3 years ago

9.

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

101 points

3 years ago

10.

The semantics of a simple functional language (lawrencecpaulson.github.io)

96 points

3 years ago

11.

Formalising Gödel's incompleteness theorems, I (lawrencecpaulson.github.io)

83 points

4 years ago

12.

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

79 points

4 years ago

13.

Memories: Artificial Intelligence at Stanford in the 70s (lawrencecpaulson.github.io)

72 points

3 years ago

14.

Memories: First exposure to computers (lawrencecpaulson.github.io)

70 points

3 years ago

15.

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

64 points

4 months ago

16.

Introduction to the λ-Calculus (lawrencecpaulson.github.io)

46 points

2 years ago

17.

On Turing Machines (lawrencecpaulson.github.io)

26 points

4 years ago

18.

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

12 points

6 months ago

19.

Memories: Edinburgh ML to Standard ML (lawrencecpaulson.github.io)

8 points

a year ago

20.

Why Not Use Lean? (lawrencecpaulson.github.io)

7 points

a month ago

21.

Set Theory with Types (lawrencecpaulson.github.io)

6 points

7 months ago

22.

Why Not Use Lean? (lawrencecpaulson.github.io)

6 points

a month ago

23.

Everything you know is wrong (lawrencecpaulson.github.io)

5 points

9 months ago

24.

Mizar: The first usable proof assistant for mathematics (lawrencecpaulson.github.io)

5 points

a month ago

25.

What is the point of formalising mathematics? (lawrencecpaulson.github.io)

5 points

4 years ago

26.

Propositions as Types: Explained (and Debunked) (lawrencecpaulson.github.io)

4 points

2 years ago

27.

Lambda Calculus: Some Models, Some Philosophy [pdf] (lawrencecpaulson.github.io)

4 points

082349872349872

3 years ago

28.

Thoughts on user interfaces for theorem provers (lawrencecpaulson.github.io)

3 points

3 years ago

29.

Finish Your Degree (lawrencecpaulson.github.io)

3 points

6 months ago

30.

Program verification is not all-or-nothing (lawrencecpaulson.github.io)

3 points

9 months ago