Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / sigurdschneider/smpl issues and pull requests
#3 - ported to coq 8.15
Pull Request -
State: open - Opened by Vertmo about 2 years ago
#2 - Added ci
Pull Request -
State: closed - Opened by fakusb about 4 years ago
- 2 comments
#1 - Port to coq V8.8
Pull Request -
State: closed - Opened by fakusb over 6 years ago
- 3 comments