3 ms·I think this is an incorrect description of the reason for renaming Coq.by dan-robertson 5y agoI think this is an incorrect description of the reason for renaming Coq.