Compare Projects

General	Isabelle	Coq proof a...
Project Activity	Activity Not Available	Very High Activity
Open Hub Data Quality	Pending	Updated about 8 hours ago
Homepage	isabelle.in.tum.de	coq.inria.fr
Project License	BSD-3-Clause	lgpl
Estimated Cost	Pending	$7,350,237
All Time Statistics
Contributors (All Time) View as graph Project Comparison Graph	Pending	351 developers
Commits (All Time) View as graph Project Comparison Graph	Pending	42834 commits
Initial Commit	Pending	over 24 years ago
Most Recent Commit	Pending	about 16 hours ago
12 Month Statistics
Contributors (Past 12 Months)	Pending	62 developers
Commits (Past 12 Months)	Pending	2,281 commits
Files Modified	Pending	2,269 files
Lines Added	Pending	120,771 lines
Lines Removed	Pending	95,338 lines
Year-Over-Year Commits	Pending	Stable
30 Day Statistics
Contributors (Past 30 Days)	Pending	11 developers
Commits (Past 30 Days)	Pending	173 commits
Files Modified	Pending	500 files
Lines Added	Pending	7,064 lines
Lines Removed	Pending	9,479 lines
Code Analysis
Mostly Written In	Pending	coq
Comments	Pending	Very Low
Lines of Code View as graph Project Comparison Graph	Pending	492,164 lines
People
Managers	Position not yet claimed	Position not yet claimed
Open Hub Users	2 users	20 users
Open Hub User Rating	5.0 5.0 Based on 1 user rating.	4.875 4.9 Based on 8 user ratings.