Assia Mahboubi

Welcome | Publications| Research | Vitae | Teaching

Teaching material

Cheet sheet

Lecture 1: slides

Lecture 2: slides, exercises, solutions

Lecture 3: slides, exercises, solutions

Lecture 4: slides, exercises, solutions

Lecture 5: slides, exercises, solutions

Lecture 6: slides, exercises, solutions

Homework 1 : exercises, solutions

Homework 2 : exercises, solutions

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