3 ms·Coq. Yes that's right. I regard it a programming language.by jlouis 18y agoCoq. Yes that's right. I regard it a programming language.