Coq developers looking for community feedback, including on name change (sondages.inria.fr) 3 points by palmskog 4y ago ↗ HN
0 comments
[ 758 ms ] story [ 542 ms ] threadNo comments yet.