platform

Multi platform setup for Coq, Coq libraries and tools

CC0-1.0 License

Stars
186
Committers
20

Commit Statistics

Past Year

All Time

Total Commits
146
1,114
Total Committers
7
23
Avg. Commits Per Committer
20.86
48.43
Bot Commits
0
0

Issue Statistics

Past Year

All Time

Total Pull Requests
8
93
Merged Pull Requests
2
72
Total Issues
0
98
Time to Close Issues
N/A
about 1 year