w23-logic-3

some small changes

build.yaml #82:Commit c9212aefdd pushed by josia

main

2024-02-05 02:32:20 +01:00

17m42s

reference to sheet 11

build.yaml #81:Commit dfd9be7925 pushed by josia

main

2024-02-04 13:57:14 +01:00

18m14s

some small changes

build.yaml #80:Commit 24ed36d0a7 pushed by josia

main

2024-02-04 01:29:14 +01:00

15m54s

email about exam (2024-01-22)

build.yaml #79:Commit 24aca6746f pushed by josia

main

2024-02-04 01:04:14 +01:00

17m36s

some changes

build.yaml #78:Commit 6670dfbf6f pushed by josia

main

2024-02-04 00:46:37 +01:00

6m19s

ultrafilter limit

build.yaml #77:Commit 7746866373 pushed by josia

main

2024-02-03 02:17:18 +01:00

17m20s

lecture 27

build.yaml #76:Commit 93976c4821 pushed by josia

main

2024-02-02 13:12:15 +01:00

19m35s

lecture 27

build.yaml #75:Commit 9a244692b1 pushed by josia

main

2024-02-02 12:52:38 +01:00

1m44s

some small changes

build.yaml #74:Commit 7ec05540ef pushed by josia

main

2024-02-02 02:17:15 +01:00

15m58s

some small changes

build.yaml #73:Commit 37f81861df pushed by josia

main

2024-02-02 02:01:17 +01:00

1m16s

merge

build.yaml #72:Commit 1cc501fbe3 pushed by josia

main

2024-02-02 02:00:00 +01:00

7m21s

some changes on lectures 14 / 15

build.yaml #71:Commit a4ac283146 pushed by josia

main

2024-02-02 01:52:36 +01:00

4m22s

tutorial 14

build.yaml #70:Commit 53577d9b57 pushed by josia

main

2024-01-30 19:07:53 +01:00

19m37s

lecture 26

build.yaml #69:Commit 41fe970a0b pushed by josia

main

2024-01-30 12:27:20 +01:00

19m2s

lecture 26

build.yaml #68:Commit d17e25f4d0 pushed by josia

main

2024-01-30 11:58:34 +01:00

5m8s

lecture 25

build.yaml #67:Commit 8f86b71d92 pushed by josia

main

2024-01-26 12:12:19 +01:00

15m19s

some fix for some problem

build.yaml #66:Commit ef3b65edbd pushed by josia

main

2024-01-25 20:42:19 +01:00

16m47s

14

build.yaml #65:Commit d22cc2f282 pushed by josia

main

2024-01-25 20:25:30 +01:00

6m34s

gist for lecture 13

build.yaml #64:Commit c03a62f638 pushed by josia

main

2024-01-25 14:17:19 +01:00

18m9s

some changes

build.yaml #63:Commit f7f9d7d638 pushed by josia

main

2024-01-24 23:29:22 +01:00

15m10s

fix

build.yaml #62:Commit e59e97ca03 pushed by josia

main

2024-01-24 16:22:14 +01:00

15m26s

gist 12

build.yaml #61:Commit acb56df1c2 pushed by josia

main

2024-01-24 15:52:14 +01:00

16m52s

some small changes

build.yaml #60:Commit 3917993d93 pushed by josia

main

2024-01-24 00:29:20 +01:00

15m14s

some small changes

build.yaml #59:Commit 0cceab0af9 pushed by josia

main

2024-01-23 22:24:20 +01:00

16m28s

fixed typo

build.yaml #58:Commit 68a7e9d428 pushed by josia

main

2024-01-23 21:56:51 +01:00

1m5s

gist for lectures 1-4

build.yaml #57:Commit c986475c77 pushed by josia

main

2024-01-23 21:54:01 +01:00

1m5s

gist intro

build.yaml #56:Commit 0a14244eb3 pushed by josia

main

2024-01-23 21:14:20 +01:00

17m58s

Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3

build.yaml #55:Commit 09658bbcb5 pushed by josia

main

2024-01-23 14:47:21 +01:00

17m41s

Homework

build.yaml #54:Commit 8f800b4403 pushed by josia

main

2024-01-23 11:12:21 +01:00

16m56s

lecture 24

build.yaml #53:Commit 6777bf60ee pushed by josia

main

2024-01-23 10:55:24 +01:00

1m1s