Nice project!
I wonder how does this compare to the GitHub + package manager combo. Using these tools, platforms like Ruby or Node.js became massively collaborative. To me proof development is similar to software development, so it should work as well. By the way, Coq will soon get a package manager based on OPAM: http://coq.inria.fr/cocorico/CoqDevelopment/CRGTCoq20131126?...