The page summarizing the considered new names and their pros/cons is interesting: https://github.com/coq/coq/wiki/Alternative-names https://github.com/coq/coq/w

The page summarizing the considered new names and their pros/cons is interesting: https://github.com/coq/coq/wiki/Alternative-names https://github.com/coq/coq/wiki/Alternative-names Naming is hard...