pycoq

Python bindings for the Coq interactive proof assistant

Stars
50
Committers
1

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
Build Status Zulip