![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Logic_Day_2022/ | 2024-01-08 22:56 | - | |
| Logic_with_a_bias_towards_automata2C_1/ | 2024-01-08 22:56 | - | |
| Logic_with_a_bias_towards_automata2C_2/ | 2024-01-08 22:56 | - | |
| Logic_with_a_bias_towards_automata2C_3/ | 2024-01-08 22:56 | - | |
| Logic_with_a_bias_towards_automata2C_best_of/ | 2024-01-08 22:56 | - | |
| another_test/ | 2024-01-08 22:56 | - | |
| eatcs_fellows/ | 2024-01-08 22:56 | - | |
| seminarium_studenckie/ | 2024-02-28 14:01 | - | |
| reforma_mgr/ | 2024-05-23 15:52 | - | |
| G_del/ | 2024-07-09 15:18 | - | |
| Untitled/ | 2024-08-13 10:46 | - | |
| dlt_salomaa/ | 2024-08-13 10:46 | - | |
| demon/ | 2024-10-14 01:21 | - | |
| G_del_2025/ | 2025-05-29 07:43 | - | |
| 2025_Multiparty/ | 2025-06-06 09:43 | - | |
| demo_for_marc/ | 2025-09-08 09:37 | - | |