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