c-corn

c-corn

List Id:

<c-corn.science.ru.nl>

List Help:

mailto:[email protected]?subject=help

List Subscribe:

http://mailman.science.ru.nl/mailman/listinfo/c-corn, mailto:[email protected]?subject=subscribe

Posting Address:

mailto:[email protected]

List Owner:

-

RSS Feed:

Alternate Archive:

http://mailman.science.ru.nl/pipermail/c-corn

Gmane Archive:

gmane.science.mathematics.logic.coq.c-corn

Gmane Description:

Discussion of the Constructive Coq Repository at Nijmegen, C-CoRN, which aims to build a computer based library of constructive mathematics formalized in Coq. ()

Mailing List System:

Mailman 2.1.14

Reputation:

Google Twitter Facebook Bing

Archive Localization:

QR Code