8 ms·Thierry Coquand is the creator of CoC and co-creator of Coq, so they're definitely related. :)by tomku 10y agoThierry Coquand is the creator of CoC and co-creator of Coq, so they're definitely related. :)