Parent Categories/Forums:
Mathematical Logics
Coq
This forum is an archive for the mailing list: coq-club@pauillac.inria.fr
(mailing list options).
Messages posted here will be sent to this mailing list.
Developed in the LogiCal project, the Coq tool is a formal proof management system: a proof done with Coq is mechanically checked by the machine. Discussion of the Coq Theorem Prover.
To migrate this forum to the new Nabble2 system,
please post a request in the Nabble Support forum
— Learn more
|
« Newest
‹ Newer
— Threads 1-35 —
Older ›
|
| Thread (1391 Threads) | Rating | Replies | Last Message | |||||
|---|---|---|---|---|---|---|---|---|
|
13 |
|
||||||
|
3 |
|
||||||
|
5 |
|
||||||
|
3 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
6 |
|
||||||
|
3 |
|
||||||
|
6 |
|
||||||
|
3 |
|
||||||
|
9 |
|
||||||
|
1 |
|
||||||
|
1 |
|
||||||
|
2 |
|
||||||
|
6 |
|
||||||
|
12 |
|
||||||
|
3 |
|
||||||
|
2 |
|
||||||
|
1 |
|
||||||
|
45 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
8 |
|
||||||
|
1 |
|
||||||
|
1 |
|
||||||
|
3 |
|
||||||
|
7 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
4 |
|
||||||
|
6 |
|
||||||
|
0 |
|
|
« Newest
‹ Newer
— Threads 1-35 —
Older ›
|
| Free embeddable forum powered by Nabble | Forum Help |
