S sondages.inria.fr Coq developers looking for community feedback, including on name change 3 points palmskog 4 years ago 0 comments
