### Teaching material

- Lecture 1: slides

### Feedback

- Leave your message on the dedicated pad.

### Further reading

- Mathematical Components book

- Homotopy Type Theory book

- Canonical Structures for the working Coq user paper

### Libraries

- Mathematical Components Libraries web site