echo
Built by
Gitwallet
pycoq
Python bindings for the Coq interactive proof assistant
Stars
50
Committers
1
View Code on GitHub
Ecosystems:
Coq
,
Python
About
Community Stats
Commit Statistics
Past Year
All Time
Total Commits
0
21
Total Committers
0
1
Avg. Commits Per Committer
0.0
21.0
Bot Commits
0
0
Issue Statistics
Past Year
All Time
Total Pull Requests
0
3
Merged Pull Requests
0
1
Total Issues
0
27
Time to Close Issues
N/A
5 days
Badges
Extracted from project README
Related Projects
gamepad
A Learning Environment for Theorem Proving
31 May 2018
71