Comment Comment by noblethrasher Also, Thierry Coquand, who is behind CoC, and is also one of the developers of the software that became Coq. parent noblethrasher 5 years ago
