# Learning Material for Univalent Mathematics and the UniMath library

## School on Univalent Mathematics, Cortona, 2022

### Lecture 2: Fundamentals of Coq (by Marco Maggesi)

### Lecture 4: Tactics in UniMath (by Ralph Matthes)

### Lecture 5: Set-Level Mathematics (by Benedikt Ahrens)

### Lecture 6: Univalent Category Theory (by Niels van der Weide)

## School and Workshop on Univalent Mathematics, Birmingham, 2019

### Coq and UniMath Installation Instructions

### Lecture 1: *Spartan Type Theory* by Andrej Bauer

### Lecture 2: *Fundamentals of Coq* by Anders Mörtberg

### Lecture 5: *Set-Level Mathematics* by Joj Helfer

### Lecture 6: *Category Theory in UniMath* by Niels van der Weide

### Lecture 8: *UniMath: its origins, present, and future* by Benedikt Ahrens