Skip to content

Commit

Permalink
Add Lecture 5 to README.
Browse files Browse the repository at this point in the history
  • Loading branch information
@cangiuli
cangiuli committed Jul 31, 2024
1 parent 4618c6a commit 9dac4dc
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,6 +20,10 @@
- [Exercises](2024-07-Minneapolis/4_Tactics/exercises_tactics.v)
- [Solutions](2024-07-Minneapolis/4_Tactics/exercises_tactics_with_solutions.v)

### Lecture 5: Set-Level Mathematics (by Carlo Angiuli)
- [Lecture](2024-07-Minneapolis/5_Set-level-mathematics/lecture5.pdf)
- Exercises TBA
- Solutions TBA


## School on Univalent Mathematics, Cortona, 2022
Expand Down

0 comments on commit 9dac4dc

Please sign in to comment.