gamepad

A Learning Environment for Theorem Proving

APACHE-2.0 License

Stars
71
Committers
3

Commit Statistics

Past Year

All Time

Total Commits
0
555
Total Committers
0
3
Avg. Commits Per Committer
0.0
185.0
Bot Commits
0
0

Issue Statistics

Past Year

All Time

Total Pull Requests
0
2
Merged Pull Requests
0
0
Total Issues
0
13
Time to Close Issues
N/A
4 months
Related Projects