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, directory INRIA/coq/V6.2/contrib.