Skip to content

Commit

Permalink
fix more links
Browse files Browse the repository at this point in the history
  • Loading branch information
benediktahrens committed Jul 20, 2022
1 parent 0522a90 commit 724a6cb
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@
### Lecture 5: *Set-Level Mathematics* (by [Benedikt Ahrens](https://benediktahrens.gitlab.io))
- [Lecture](2022-07-Cortona/5_Set-level-mathematics/5_set_level_mathematics_lecture.pdf)
- [Exercises](2022-07-Cortona/5_Set-level-mathematics/set_level_mathematics_exercises.v)
- [Solutions](2019-04-Birmingham/5_Set-level-mathematics/set_level_mathematics_solutions.v)
- [Solutions](2022-07-Cortona/5_Set-level-mathematics/set_level_mathematics_solutions.v)


### Lecture 6: Univalent Category Theory (by [Niels van der Weide](https://nmvdw.github.io))
Expand Down

0 comments on commit 724a6cb

Please sign in to comment.