By Herman Geuvers, Dan Synek, Adam Koprowski, Eelis van der Weegen.
The Coq sources for this development are provided through GitHub.
The technical documentation documents the development in some detail, focusing primarily on technical matters.
Our ITP 2010 paper (PDF) gives a more succinct and higher-level perspective.