13 Commits

Author	SHA1	Message	Date
Janis Hutz	b78c7dee1c	[TI] Removed todo	2025-12-24 08:19:15 +01:00
Janis Hutz	5c7d4762a1	[TI] Fix errors	2025-12-06 12:25:43 +01:00
Janis Hutz	da96fbdb48	[TI] Fix error	2025-12-03 16:57:09 +01:00
Janis Hutz	b6ddb83224	[TI] Catch up	2025-12-02 10:16:14 +01:00
Janis Hutz	68ee2ec327	[TI] Almost catch up	2025-11-26 16:44:51 +01:00
Janis Hutz	30f9d722df	[TI] Finish class NP, start NP completeness	2025-11-26 15:28:24 +01:00
Janis Hutz	1525a3e1a1	[TI] Start NP class and proof verification section	2025-11-25 12:34:44 +01:00
Janis Hutz	b9a0692a68	[TI] Prepare next section	2025-11-20 10:17:20 +01:00
Janis Hutz	6533d01016	[TI] Fix error	2025-11-15 12:14:19 +01:00
Janis Hutz	ca39d24145	[TI] Catch up and work ahead slightly	2025-11-14 16:03:59 +01:00
Janis Hutz	d7c9135c79	[TI] Summarized up to (including) 6.3	2025-11-14 14:37:15 +01:00
Janis Hutz	fc416d1016	[TI] Prepare new chapter	2025-11-14 10:32:03 +01:00
Janis Hutz	6d631f6aa8	[TI] Finished chapter 5 mostly	2025-11-12 16:44:30 +01:00