|
|
db44eae2be
|
Finished exercise 6 from week 3, just a few to go
|
2023-06-06 20:49:45 +02:00 |
|
|
|
5930d51114
|
Finished part of exercise 5, getting more comfortable with these kinds of proofs now
|
2023-06-02 17:00:19 +02:00 |
|
|
|
1639753ec0
|
Finished exercise 4 of week 3 and quite satisfied with it
|
2023-06-01 23:51:07 +02:00 |
|
|
|
d708244e55
|
WIP on exercise 4, very close
|
2023-05-30 17:05:42 +02:00 |
|
|
|
6fcd7eca69
|
Finished first exercise of assignment 3 and did some refactoring on numbering etc
|
2023-05-26 16:54:00 +02:00 |
|
|
|
8c0d80b19e
|
Empty start on assignment 3
|
2023-05-25 17:12:02 +02:00 |
|
