How to contribute to the MoWGLI library

Coq THEOREM submission                                                                                                                           

There are two ways to contribute to the MoWGLI library:
    1. Generate and store XML files on your machine (solution 1):

    2. Upload your development to the MoWGLI site (solution 2):


Choose your solution and follow the corresponding instructions below:

Solution 1: Generate and store XML files on your machine                                                                                                        Example of Make

                                                -R . Sophia-Antipolis.Test.Probabilites 

                           coq-makefile -f Make  > Makefile

                                    export COQ_XML=-xml
                                    export COQ_XML_LIBRARY_ROOT= path

is the path of the directory where you put the XML result file (IMPORTANT : this path should be reachable on the Web)

Solution 2: Upload your development on the MoWGLI site                                                                             

The system will automatically compile your .v files with Coq 7.4. Your contributions will be added to the MoWGLI library.
As soon as your contribution is available on-line you will receive a notification at your e-mail address.