3 ms·Coq apparently renamed since professors have to introduce it to 18 year olds each year.by aitchnyu 2y agoCoq apparently renamed since professors have to introduce it to 18 year olds each year.