Call for contributions

You may contribute to the development of "Coq on line" (and HELM) in several ways:
  1. 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 Irene Schena.
  2. If you are interested in mirroring "coq on line", please send a request to Luca Padovani.
  3. More generally, if you wish to cooperate in the development of "coq on line" and "helm", please send a mail to Andrea Asperti.