Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / leanprover/cmu-15815-s15 issues and pull requests
#12 - feat(*.md, header.html): update assignments, and simplify sidebar menu
Pull Request -
State: closed - Opened by avigad almost 10 years ago
#11 - feat(*.md): update lectures, assignments and announcements
Pull Request -
State: closed - Opened by avigad almost 10 years ago
#10 - feat(*.md): update assignments and announcements
Pull Request -
State: closed - Opened by avigad almost 10 years ago
#9 - routine update
Pull Request -
State: closed - Opened by avigad almost 10 years ago
- 1 comment
#8 - feat: update assignments and announcements, add final project
Pull Request -
State: closed - Opened by avigad almost 10 years ago
#7 - feat(*.md): update for week 6
Pull Request -
State: closed - Opened by avigad almost 10 years ago
#6 - feat(*.md): update assignments and announcements
Pull Request -
State: closed - Opened by avigad almost 10 years ago
#5 - feat(*.md): update assignments and announcements
Pull Request -
State: closed - Opened by avigad about 10 years ago
- 1 comment
#4 - feat(*.md): update assignments and announcements
Pull Request -
State: closed - Opened by avigad about 10 years ago
- 3 comments
#4 - feat(*.md): update assignments and announcements
Pull Request -
State: closed - Opened by avigad about 10 years ago
- 3 comments
#3 - refactor(index.md): change Lean link to leanprover.github.io
Pull Request -
State: closed - Opened by avigad about 10 years ago
#3 - refactor(index.md): change Lean link to leanprover.github.io
Pull Request -
State: closed - Opened by avigad about 10 years ago
#2 - fix(grading.md): remove old text (could not easily comment it out)
Pull Request -
State: closed - Opened by avigad about 10 years ago
#2 - fix(grading.md): remove old text (could not easily comment it out)
Pull Request -
State: closed - Opened by avigad about 10 years ago
#1 - fix(assignment.md): correct chapters for first assignment
Pull Request -
State: closed - Opened by avigad about 10 years ago