Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
@benediktahrens
benediktahrens authored Jul 29, 2024
1 parent f14952a commit 1f02b7a
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
@@ -1,5 +1,9 @@
# Learning Material for Univalent Mathematics and the UniMath library

## School on Univalent Mathematics, Minneapolis, 2024

TBA

## School on Univalent Mathematics, Cortona, 2022

### Lecture 1: Type Theory (by [Gianluca Amato](https://www.sci.unich.it/~amato/))
Expand Down

0 comments on commit 1f02b7a

Please sign in to comment.