3 ms·
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 tho
by ritonlajoie 10y ago
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 :)
- minipci1321 10y agoIsn't it also somehow related to "Calculus Of Constructions"? Always made me think about that, not sure why.
- tomku 10y agoThierry Coquand is the creator of CoC and co-creator of Coq, so they're definitely related. :)