Search: lawrencecpaulson.github.io | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

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

3 points

3 years ago

32.

50 Years of Proof Assistants (lawrencecpaulson.github.io)

2 points

11 days ago

33.

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

2 points

a month ago

34.

Memories: Doing my PhD at Stanford, under John L Hennessy (lawrencecpaulson.github.io)

2 points

4 months ago

35.

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

2 points

5 months ago

36.

Revisiting an early critique of formal verification (lawrencecpaulson.github.io)

2 points

a year ago

37.

Two Small Examples by Fields Medallists (lawrencecpaulson.github.io)

2 points

2 years ago

38.

The concept of proof within the context of machine mathematics (lawrencecpaulson.github.io)

2 points

3 years ago

39.

When is a computer proof a proof? (lawrencecpaulson.github.io)

2 points

3 years ago

40.

The ALEXANDRIA Project: What has been accomplished? (lawrencecpaulson.github.io)

2 points

3 years ago

41.

Proving the Obvious (lawrencecpaulson.github.io)

2 points

4 years ago

42.

Ackermann's function is not primitive recursive, I (lawrencecpaulson.github.io)

2 points

4 years ago

43.

Memories: Doing my PhD at Stanford, under John L Hennessy (lawrencecpaulson.github.io)

1 point

4 months ago

44.

50 Years of Proof Assistants (lawrencecpaulson.github.io)

1 point

6 months ago

45.

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

1 point

9 months ago

46.

Why are you being constructive? (lawrencecpaulson.github.io)

1 point

4 years ago

47.

On Turing Machines (lawrencecpaulson.github.io)

1 point

4 years ago

48.

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

1 point

4 years ago