No search results for "author:"The Coq development team, INRIA, CNRS, University Paris Sud, University Paris 7, Ecole Polytechnique.""

We didn't find a match for "author:"The Coq development team, INRIA, CNRS, University Paris Sud, University Paris 7, Ecole Polytechnique."".

Search tips:

• The search does not correct typos automatically (yet). Be sure to use correct spelling for keywords or package names.
• Looking for a tutorial or guide, and not a package? Check out our Learn area.
• Looking for the standard library API? It's here.