Commit graph

11 commits

Author SHA1 Message Date
24ed36d0a7
some small changes
Some checks failed
Build latex and deploy / checkout (push) Failing after 15m54s
2024-02-04 01:13:14 +01:00
d17e25f4d0
lecture 26
All checks were successful
Build latex and deploy / checkout (push) Successful in 5m9s
2024-01-30 11:55:30 +01:00
67a851748e
Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3 2024-01-25 12:38:55 +01:00
0f4328f0d1
small changes 2024-01-25 12:38:52 +01:00
acb56df1c2
gist 12
Some checks failed
Build latex and deploy / checkout (push) Failing after 16m52s
2024-01-24 15:35:14 +01:00
14cc41cea5
some small changes 2024-01-18 17:17:27 +01:00
fc4f57a8b0
small changes
Some checks failed
Build latex and deploy / checkout (push) Failing after 15m6s
2024-01-12 01:44:05 +01:00
ebf7add005
some changes
Some checks failed
Build latex and deploy / checkout (push) Failing after 16m26s
2024-01-11 23:57:43 +01:00
8038e2baeb
tutorial
Some checks failed
Build latex and deploy / checkout (push) Failing after 15m34s
2023-12-05 18:13:30 +01:00
b7671057ca
tutorial 2023-12-05 17:14:40 +01:00
0d6d392d5d
lecture 09
Some checks failed
Build latex and deploy / checkout (push) Failing after 13m30s
2023-11-14 11:53:30 +01:00