Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / anton-trunov/csclub-coq-course-spring-2021 issues and pull requests
#4 - Fix typo
Pull Request -
State: closed - Opened by gzoom13 almost 2 years ago
- 1 comment
#3 - fix: minor definitions and import fix
Pull Request -
State: closed - Opened by KholodkovAlexey over 3 years ago
- 1 comment
#2 - Synchronize seminars in this repo with my local ones
Issue -
State: open - Opened by anton-trunov over 3 years ago
#1 - Write about the materials' order in the readme
Pull Request -
State: closed - Opened by philip-bl almost 4 years ago
- 1 comment