Search: coq.inria.fr | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Reproduce Gonthier Four Colour Theorem proof challenge (make no proof patches)

6 years ago

1 points

2.

10 years ago

151 points

3.

5 years ago

116 points

4.

Coq will be renamed into 'The Rocq Prover'

2 years ago

61 points

5.

A short introduction to Coq

16 years ago

33 points

6.

Coq: A program specification and mathematical higher-level language

6 years ago

8 points

7.

9 years ago

3 points

8.

9 years ago

3 points

9.

The most hipster language in the world

12 years ago

2 points

10.

A Short Introduction to Coq

13 years ago

2 points

11.

The Coq proof assistant

9 years ago

2 points

12.

Coq 8.6.1 is out

9 years ago

2 points

13.

A formal proof assistant which could help to make few crypto coins

9 years ago

2 points

14.

10 years ago

2 points

15.

Coq: Prop vs. Set

11 years ago

2 points

16.

Coq proof assistant – A tutorial by Mike Nahas

8 years ago

1 points

17.

9 years ago

1 points

18.

The upcoming version: Coq 8.6rc1

10 years ago

1 points