Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / hott/epit-2020 issues and pull requests
#9 - Add solution to exercise 5.2 from day 1.
Pull Request -
State: open - Opened by DeVilhena-Paulo over 3 years ago
#8 - Add solution to last exercise.
Pull Request -
State: closed - Opened by DeVilhena-Paulo over 3 years ago
#7 - Update link to YouTube channel
Pull Request -
State: open - Opened by bafain over 3 years ago
#6 - Another set of solutions
Pull Request -
State: open - Opened by MevenBertrand over 3 years ago
#5 - Tuesday -> Thursday
Pull Request -
State: closed - Opened by tomdjong over 3 years ago
#4 - Added close comments in part3
Pull Request -
State: closed - Opened by andreaslyn over 3 years ago
#3 - added TOC
Pull Request -
State: closed - Opened by Alizter over 3 years ago
- 1 comment
#2 - Add install instructions for Coq-HoTT
Pull Request -
State: closed - Opened by mattam82 over 3 years ago
- 1 comment
#1 - plan of the lectures
Pull Request -
State: closed - Opened by EgbertRijke over 3 years ago
#1 - plan of the lectures
Pull Request -
State: closed - Opened by EgbertRijke over 3 years ago