Coq developers looking for community feedback, including on name changesondages.inria.fr·3 pts·palmskog·0