![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/blank.png){kind=icon}
![[TXT]](/~oc45ujef/.img/a.png)
![[TXT]](/icons/quill.png){kind=icon}
![[TXT]](/icons/layout.png){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| braun-prop.agda | 2022-09-26 19:12 | 1.7K | |
| functions.agda | 2022-09-22 19:59 | 2.5K | |
| leibniz.agda | 2022-09-22 19:21 | 572 | |
| stlc.agda | 2022-09-22 19:22 | 4.7K | |
| stlcN.agda | 2022-09-20 16:13 | 1.8K | |
| summary.org | 2022-10-06 10:05 | 9.0K | |
| braindump.html | 2022-10-06 10:05 | 6.0K | Artificial Intelligence I |
| braindump.org | 2022-10-06 10:04 | 2.8K | Artificial Intelligence I |
| summary.html | 2022-10-06 10:06 | 16K | IDenT Summary |