![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Coq/ | 2024-08-19 11:54 | - | |
| Coq_fol/ | 2024-08-19 02:01 | - | |
| Coq_undec/ | 2024-08-19 02:01 | - | |
| Isabelle/ | 2024-08-22 02:01 | - | |
| Isabelle.zip | 2024-08-19 11:54 | 1.3K | |
| Coq.zip | 2024-08-19 11:54 | 46K | |
| Bailitis_second_talk..> | 2024-06-07 13:01 | 207K | |
| Bailitis_first_talk.pdf | 2024-05-03 11:01 | 222K | |
| Bailitis_final_talk.pdf | 2024-08-24 12:01 | 239K | |
| Bailitis_first_memo.pdf | 2024-04-24 15:01 | 408K | |
| Bailitis_thesis.pdf | 2024-09-02 13:01 | 729K | |