coq developers.
4 developers writing coq, highest score first. Every one is scored from public work by the same published formula.
- @lysxiahaskelljavascripthtmlunclaimed94
- @ilberttvhdlc++adaunclaimed92
- @dvanhornwashingtonrackettexocamlunclaimed82
- @ssaavedrascalajavascriptjavaunclaimed64