• How can I generate some LaTex from my development?
• How can I generate some HTML from my development?
• How can I generate a dependency graph from my development?
• How can I cite some Coq in my LaTex document?
• How can I cite the Coq reference manual?
• Where can I publish my developments in Coq?