5 Commits

Include renames

Author	SHA1	Message	Date
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