Project Summary
Analyzed 4 days
ago based on code collected 4 days ago.
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.
Quick Reference
- Project Links:
-
Homepage
Download
- Code Locations:
-
svn://scm.gforge.inria.fr/svn/co...
- Licenses:
- BSD-4-Clause-UC, CECILL-2.0, and LGPL
- Similar Projects:
-
- Managers:
- Become the first manager for Contributions of the coq proof assistant
In a Nutshell, Contributions of the coq proof assistant...
- ...
- ...
-
...
has a well established, mature codebase
maintained by a large development team
with increasing Y-O-Y commits -
...
took an estimated 379 years of effort (COCOMO model)
starting with its first commit in March, 2004
ending with its most recent commit 9 days ago
Activity
30 Day Summary Apr 20 2013 — May 20 2013
|
12 Month Summary May 20 2012 — May 20 2013
|
Community
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.