Hacker News Reader

well, INRIA is french national research institute and the national pet is the Coq (rooster) (edit : laurent I guess you are french, I'm just saying that for those who are not from France :)

View on HN

Isn't it also somehow related to "Calculus Of Constructions"? Always made me think about that, not sure why.

Thierry Coquand is the creator of CoC and co-creator of Coq, so they're definitely related. :)

Reply on news.ycombinator.com