Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / anton-trunov/coq-lecture-notes issues and pull requests
#6 - Fix typos and update for SSReflect 1.10
Pull Request -
State: closed - Opened by clayrat over 4 years ago
- 1 comment
#5 - Lemma even_nat_eq_refl fixed
Pull Request -
State: closed - Opened by usr345 about 5 years ago
- 1 comment
#4 - golfing
Pull Request -
State: closed - Opened by llelf about 5 years ago
- 1 comment
#3 - seminar05: remove unnecessary premise in suffix_spec
Pull Request -
State: closed - Opened by tymmym about 5 years ago
#2 - update link to telegram chat
Pull Request -
State: closed - Opened by ligurio about 5 years ago
- 1 comment
#1 - Fix a few typos in lecture01.v
Pull Request -
State: closed - Opened by vyorkin about 5 years ago
- 1 comment