18 Commits

Author	SHA1	Message	Date
NotXia	8e52be7518	Add LAAI3 Turing Machine	2024-02-28 21:00:02 +01:00
NotXia	23394c78af	Add LAAI3 introduction	2024-02-20 20:51:42 +01:00
NotXia	6a33527de2	Fix typos <noupdate>	2024-01-20 09:44:05 +01:00
NotXia	1677e272e9	Update compiled file name <noupdate>	2024-01-16 10:10:02 +01:00
NotXia	a7933cf3ba	Fix typos <noupdate>	2024-01-01 17:09:15 +01:00
NotXia	4b2f613e73	Move last update placeholder <noupdate>	2023-12-31 10:04:10 +01:00
NotXia	650af7b2b2	Centralized URLs with macros	2023-12-22 21:47:35 +01:00
NotXia	acdd131463	Fix headers	2023-12-22 21:33:31 +01:00
NotXia	0c1b4cee92	Add LAAI2 MiniZinc	2023-12-22 21:29:48 +01:00
NotXia	d66b9c6344	Changed references to other courses as imports	2023-12-22 21:23:44 +01:00
NotXia	5b466267b2	Add LAAI2 constraint logic programming	2023-12-09 12:56:11 +01:00
NotXia	635a4fc1a5	Add LAAI2 Prolog	2023-12-05 20:43:30 +01:00
NotXia	0a7c8033e1	Add LAAI2 logic programming	2023-12-01 20:53:44 +01:00
NotXia	71cd9e14f0	Add LAAI2 first order logic	2023-11-26 21:25:59 +01:00
NotXia	b612dd69c0	Fix broken symlinks	2023-11-17 11:39:59 +01:00
NotXia	5042f21539	Fix pdf compilation in workflow	2023-11-17 10:51:45 +01:00
NotXia	0dff0b4d7f	Add FAIKR2 propositional and first order logic	2023-11-10 15:20:16 +01:00
NotXia	fdf7065237	Add LAAI2 propositional logic	2023-11-09 21:03:15 +01:00