4 ms·
Isn't it also somehow related to "Calculus Of Constructions"? Always made me think about that, not sure why.
by minipci1321 10y ago
Isn'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. :)