Search: lawrencecpaulson.github.io | Heykuki News

HK

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 years ago

3 points

32.

Nullius in verba: the motto of the Royal Society

lawrencecpaulson.github.io

5 days ago

2 points

33.

50 Years of Proof Assistants

lawrencecpaulson.github.io

a month ago

2 points

34.

Mizar: The first usable proof assistant for mathematics

lawrencecpaulson.github.io

a month ago

2 points

35.

Memories: Doing my PhD at Stanford, under John L Hennessy

lawrencecpaulson.github.io

4 months ago

2 points

36.

Broken Proofs and Broken Provers

lawrencecpaulson.github.io

5 months ago

2 points

37.

Revisiting an early critique of formal verification

lawrencecpaulson.github.io

a year ago

2 points

38.

Two Small Examples by Fields Medallists

lawrencecpaulson.github.io

2 years ago

2 points

39.

The concept of proof within the context of machine mathematics

lawrencecpaulson.github.io

3 years ago

2 points

40.

When is a computer proof a proof?

lawrencecpaulson.github.io

3 years ago

2 points

41.

The ALEXANDRIA Project: What has been accomplished?

lawrencecpaulson.github.io

3 years ago

2 points

42.

Proving the Obvious

lawrencecpaulson.github.io

4 years ago

2 points

43.

Ackermann's function is not primitive recursive, I

lawrencecpaulson.github.io

4 years ago

2 points

44.

Memories: Doing my PhD at Stanford, under John L Hennessy

lawrencecpaulson.github.io

4 months ago

1 points

45.

50 Years of Proof Assistants

lawrencecpaulson.github.io

6 months ago

1 points

46.

Program verification is not all-or-nothing

lawrencecpaulson.github.io

9 months ago

1 points

47.

Why are you being constructive?

lawrencecpaulson.github.io

4 years ago

1 points

48.

On Turing Machines

lawrencecpaulson.github.io

4 years ago

1 points

49.

What is the point of formalising mathematics?

lawrencecpaulson.github.io

4 years ago

1 points