Commit Graph

3 Commits

Author SHA1 Message Date
5042f21539 Fix pdf compilation in workflow 2023-11-17 10:51:45 +01:00
0dff0b4d7f Add FAIKR2 propositional and first order logic 2023-11-10 15:20:16 +01:00
fdf7065237 Add LAAI2 propositional logic 2023-11-09 21:03:15 +01:00