![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| stp/ | 2022-08-18 06:36 | - | |
| slides/ | 2022-08-11 07:04 | - | |
| exercises.html | 2022-07-21 05:10 | 954 | |
| syllabus_2021.pdf | 2021-02-28 08:57 | 82K | |
| syllabus_2020.pdf | 2020-03-11 07:44 | 82K | |
| TC05_experiment.txt | 2019-04-10 05:47 | 4.9K | |
| generate_skinny.py | 2019-03-20 08:14 | 10K | |
| output.tmp | 2019-03-20 08:13 | 16K | |
| skinny.cvc | 2019-03-20 08:12 | 18K | |
| tsc.h | 2019-02-27 07:54 | 3.0K | |
| report.tex | 2019-02-26 17:54 | 869 | |
| report.pdf | 2019-02-26 17:54 | 61K | |