8 Commits

Include renames

Author	SHA1	Message	Date
flip	6fbf6273ea	pdf build files are now obsolete because of my ci cd pipeline :)	2024-05-05 00:16:52 +02:00
flip	8d53e6e409	Finished assignment 3, pretty pleased with the results actually, didn't think I would make it this far	2023-06-09 10:48:40 +02:00
flip	db44eae2be	Finished exercise 6 from week 3, just a few to go	2023-06-06 20:49:45 +02:00
flip	5930d51114	Finished part of exercise 5, getting more comfortable with these kinds of proofs now	2023-06-02 17:00:19 +02:00
flip	1639753ec0	Finished exercise 4 of week 3 and quite satisfied with it	2023-06-01 23:51:07 +02:00
flip	d708244e55	WIP on exercise 4, very close	2023-05-30 17:05:42 +02:00
flip	6fcd7eca69	Finished first exercise of assignment 3 and did some refactoring on numbering etc	2023-05-26 16:54:00 +02:00
flip	8c0d80b19e	Empty start on assignment 3	2023-05-25 17:12:02 +02:00