The Coq mailing list

[Pierre-Marie Pédrot <pierre-marie.pedrot AT inria.fr>]

Hello coq-club,

here is a shameless piece of advertisement for CoqHoTT-minute, the
freshly created blog of the CoqHoTT research group. You can find this
punny marvel[1] at the following URL.

http://coqhott.gforge.inria.fr/blog/

There is not a lot of content for now, but we will probably write more
later on.

That's all folks!

PMP, on behalf of the CoqHoTT team.

[1] For the unlucky people not understanding French, « CoqHoTT-minute »
means "pressure cooker". At last an innocent play on words around Coq!

Attachment: signature.asc
Description: OpenPGP digital signature