We are temporarily operating with limited features while we perform a website upgrade. Users cannot log in during this time.
We apologize for any inconvenience. We'll be back to full operation shortly.
Coq around the world
Coq is used in a large variety of domains such as formalization of mathematics, specification and verification of computer programs, etc.
Those are the contributions provided by the Coq users.
Copyright © 2013 Black Duck Software, Inc. and its contributors, Some Rights Reserved. Unless otherwise marked, this work is licensed under a Creative Commons Attribution 3.0 Unported License . Ohloh ® and the Ohloh logo are trademarks of Black Duck Software, Inc. in the United States and/or other jurisdictions. All other trademarks are the property of their respective holders.