Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / bkc39/coq311 issues and pull requests
#12 - Document process for adding lectures.
Issue -
State: open - Opened by bkc39 almost 10 years ago
Labels: documentation
#11 - Remove ProofGeneral
Pull Request -
State: closed - Opened by bkc39 almost 10 years ago
- 2 comments
#10 - Syllabus + Lecture Schedule
Issue -
State: open - Opened by bkc39 almost 10 years ago
- 4 comments
Labels: lecture notes
#9 - Don't Include Proof General in this Repo
Issue -
State: closed - Opened by bkc39 almost 10 years ago
- 2 comments
#8 - Style Guide
Pull Request -
State: open - Opened by bkc39 almost 10 years ago
- 2 comments
#7 - Style Guide
Issue -
State: open - Opened by bennn almost 10 years ago
#6 - LaTeX Style
Pull Request -
State: closed - Opened by bkc39 almost 10 years ago
- 7 comments
#5 - Create Latex Style
Issue -
State: open - Opened by bkc39 almost 10 years ago
- 4 comments
Labels: review
#4 - Review courseware
Issue -
State: closed - Opened by bennn almost 10 years ago
- 1 comment
Labels: review
#3 - PS1: Functional Programming
Issue -
State: open - Opened by bennn almost 10 years ago
- 6 comments
#2 - Cheat sheets
Issue -
State: open - Opened by bennn almost 10 years ago
- 3 comments
#1 - Create Coq VM
Issue -
State: closed - Opened by bennn almost 10 years ago
- 1 comment