3 ms·
I have no opinion on to change the Coq name or not, but I have to ask: Do you have similar issues when it comes to Git as well and how do you deal with that?
by capableweb 6y ago
I have no opinion on to change the Coq name or not, but I have to ask: Do you have similar issues when it comes to Git as well and how do you deal with that?