3 ms·And also a tribute to Thierry Coquand, the inventor of the CoC.by Drup 11y agoAnd also a tribute to Thierry Coquand, the inventor of the CoC.nickpsecurity 11y agoYes, that was also in what I read.