Comment Comment by harveywi What ever happened to the effort [1] to rename Coq in order to make it less offensive? There were a number of excellent proposals [2] that seemed to die on the vine.[1] https://github.com/coq/coq/wiki/Alternative-names[2] https://github.com/coq/coq/wiki/Alternative-names#c%E1%B5%A3... parent harveywi 3 years ago
[1] https://github.com/coq/coq/wiki/Alternative-names
[2] https://github.com/coq/coq/wiki/Alternative-names#c%E1%B5%A3...