rocq prover developers.

5 developers writing rocq prover, highest score first. Every one is scored from public work by the same published formula.