Lecture notes
The lecture notes are rendered from the Rocq files we use in class. The button in the corner of every page opens this table of contents.
The lecture notes are rendered from the Rocq files we use in class. The button in the corner of every page opens this table of contents.