Comment Comment by hadrien01 The proposals: https://github.com/coq/coq/wiki/Alternative-namesI particularly like Chapon, if the name was to change (from the announcement: this is not yet a commitment toward a renaming) parent hadrien01 5 years ago
I particularly like Chapon, if the name was to change (from the announcement: this is not yet a commitment toward a renaming)