Hi,
I wanted to have a look at how the team works (mathcomp will need hierarchy-builder and coq-elpy, so perhaps some I could lend a hand).
But on this page:
a few links are dead (notably the policy, which I'll have to read from the dh-ocaml package and the package entropy tracker).
Cheers,
J. Puydt