![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| lecture-15.pdf | 2023-04-20 08:39 | 526K | |
| lecture-13.pdf | 2023-04-20 08:39 | 320K | |
| lecture-12.pdf | 2023-04-20 08:39 | 640K | |
| lecture-12-hw-p4.pdf | 2023-04-20 08:39 | 838K | |
| lecture-11.pdf | 2023-04-20 08:39 | 763K | |
| lecture-10.pdf | 2023-04-20 08:39 | 417K | |
| lecture-07.pdf | 2023-04-20 08:39 | 1.6M | |
| lecture-04.pdf | 2023-04-20 08:39 | 1.3M | |
| lecture-03.pdf | 2023-04-20 08:39 | 2.1M | |
| lecture-03-backup-sp..> | 2023-04-20 08:39 | 767K | |
| lecture-01.pdf.autos..> | 2023-04-20 08:39 | 4.5M | |
| lecture-16.pdf.autos..> | 2023-04-20 08:39 | 128K | |
| lecture-16.pdf | 2023-04-20 08:39 | 370K | |
| lecture-14.pdf | 2023-04-20 08:39 | 1.5M | |
| lecture-09.pdf | 2023-04-20 08:39 | 565K | |
| lecture-08.pdf | 2023-04-20 08:39 | 267K | |
| lecture-06.pdf | 2023-04-20 08:39 | 553K | |
| lecture-05.pdf | 2023-04-20 08:39 | 1.3M | |
| lecture-02.pdf | 2023-04-20 08:39 | 956K | |
| lecture-01.pdf | 2023-04-20 08:39 | 3.6M | |
| z3examples/ | 2023-03-28 09:11 | - | |