Call for contributions
You may contribute to the development of "Coq on line" (and HELM)
in several ways:
- If you are interested to provide special notation for your contrib,
you may send us the suitable stylesheets as well. If you wish to have
more information on the way stylesheets should be edited, please ask
- If you are interested in mirroring "coq on line", please
send a request to Luca Padovani.
- More generally, if you wish to cooperate in the development of
"coq on line" and "helm", please send a mail
to Andrea Asperti.