2 ms·Coq is more of a proof assistant than it is a general purpose programming language.by ufo 10y agoCoq is more of a proof assistant than it is a general purpose programming language.