Publishing Tools - coq/coq GitHub Wiki

(Part of the Coq FAQ)

How can I generate some LaTex from my development?

You can use coqdoc.

How can I generate some HTML from my development?

You can use coqdoc.

How can I generate a dependency graph from my development?

You can use the coq-dpdgraph.

How can I cite some Coq in my LaTex document?

You can use coq-tex.

How can I cite the Coq reference manual?

See instructions on the Zenodo record:

Where can I publish my developments in Coq?

You can submit your developments to the Coq Package Index.

An earlier related projet (unmaintained) was the HELM/MoWGLI repository at the University of Bologna (see http://mowgli.cs.unibo.it). For developments submitted in this database, it was possible to visualize them in natural language and execute various retrieving requests.