echo
Built by
Gitwallet
BRiCk
Formalization of C++ for verification purposes.
OTHER License
Stars
67
Committers
28
View Code on GitHub
Visit Website
Ecosystems:
Coq
,
C++
About
Community Stats
Commit Statistics
Past Year
All Time
Total Commits
266
4,044
Total Committers
13
35
Avg. Commits Per Committer
20.46
115.54
Bot Commits
0
0
Issue Statistics
Past Year
All Time
Total Pull Requests
0
3
Merged Pull Requests
0
0
Total Issues
0
1
Time to Close Issues
N/A
24 days