3.3 Users' contributions

Numerous users' contributions have been collected and are available on the WWW at the following address: pauillac.inria.fr/coq/contribs. On this web page, you have a list of all contributions with informations (author, institution, quick description, etc.) and the possibility to download them one by one. There is a small search engine to look for keywords in all contributions. You will also find informations on how to submit a new contribution.

The users' contributions may also be obtained by anonymous FTP from site ftp.inria.fr, in directory INRIA/coq/ and searchable on-line at

http://coq.inria.fr/contribs-eng.html