![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/blank.png){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[TXT]](/~oc45ujef/.img/p.png)
![[ ]](/icons/layout.gif){kind=icon}
![[TXT]](/icons/layout.png){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| a11.v | 2024-01-19 14:11 | 1.3K | |
| tableau.pl | 2023-12-16 09:45 | 1.7K | A propositional tableau solver |
| a8.pdf | 2023-12-15 10:23 | 635K | |
| pl.html | 2023-12-08 15:25 | 19K | Propositional Logic in Coq |
| pl.v | 2023-12-08 15:18 | 3.9K | |
| a6.pl | 2023-12-01 12:07 | 578 | |
| a5.pl | 2023-11-24 17:16 | 1.3K | |
| a4.pl | 2023-11-17 15:23 | 1.2K | |
| a2.pl | 2023-11-03 12:16 | 396 | |
| a1.pl | 2023-10-27 12:27 | 1.9K | |