3 ms·Just a small FYI, but the language's name (for now) is Coq, not COQ.by DonaldPShimoda 4y agoJust a small FYI, but the language's name (for now) is Coq, not COQ.