w23-logic-3

test gist

build.yaml #52:Commit 5beffa0067 pushed by josia

main

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

19m15s

gist test

build.yaml #51:Commit 415d12cf6a pushed by josia

main

2024-01-22 17:40:28 +01:00

5m7s

lecture 23

build.yaml #50:Commit a04a4468b0 pushed by josia

main

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

17m38s

lecture 23

build.yaml #49:Commit 195f28869b pushed by josia

main

2024-01-19 11:54:41 +01:00

3m1s

lecture 23

build.yaml #48:Commit 4b9bbd2ef0 pushed by josia

main

2024-01-19 11:51:40 +01:00

14s

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

build.yaml #47:Commit 206b61941e pushed by josia

main

2024-01-18 17:32:21 +01:00

16m1s

automatic commit jrpie-PC

build.yaml #46:Commit 56f36dd553 pushed by josia

main

2024-01-17 01:28:37 +01:00

13m19s

sheet 11

build.yaml #45:Commit 5dc9e52fc5 pushed by josia

main

2024-01-17 00:13:37 +01:00

12m50s

sheet 11

build.yaml #44:Commit 2cf18169c2 pushed by josia

main

2024-01-17 00:00:45 +01:00

50s

tutorial 12

build.yaml #43:Commit f074e8841b pushed by josia

main

2024-01-16 23:28:37 +01:00

15m22s

fixed typo

build.yaml #42:Commit b0a943abb1 pushed by josia

main

2024-01-16 12:22:21 +01:00

16m28s

22

build.yaml #41:Commit 11cdecd1da pushed by josia

main

2024-01-16 12:05:51 +01:00

3m14s

lecture 21

build.yaml #40:Commit bcec8f96de pushed by josia

main

2024-01-15 23:44:26 +01:00

16m58s

lecture 21

build.yaml #39:Commit 957c9d9712 pushed by josia

main

2024-01-15 23:27:26 +01:00

10s

small changes

build.yaml #38:Commit fc4f57a8b0 pushed by josia

main

2024-01-12 01:59:16 +01:00

15m6s

clopenization

build.yaml #37:Commit 72025f8ea8 pushed by josia

main

2024-01-12 01:44:09 +01:00

12m49s

some changes

build.yaml #36:Commit ebf7add005 pushed by josia

main

2024-01-12 00:14:16 +01:00

16m26s

thank you, Mirko!

build.yaml #35:Commit e962b1a314 pushed by josia

main

2024-01-10 00:34:16 +01:00

13m20s

Sheet 9, exercise 4

build.yaml #34:Commit 324dddda04 pushed by josia

main

2024-01-06 19:17:16 +01:00

13m48s

small fix

build.yaml #33:Commit 8ff3cadebd pushed by josia

main

2024-01-05 17:57:15 +01:00

15m3s

lecture 18, 19

build.yaml #32:Commit 99ca39e52c pushed by josia

main

2024-01-04 19:42:15 +01:00

16m57s

tutorial 10

build.yaml #31:Commit c3948b12ec pushed by josia

main

2023-12-19 17:41:21 +01:00

2m33s

lecture 10

build.yaml #30:Commit aa7f3de504 pushed by josia

main

2023-12-19 13:37:00 +01:00

50s

small changes

build.yaml #29:Commit d5930d6a43 pushed by josia

main

2023-12-14 01:04:11 +01:00

13m19s

tutorial 09

build.yaml #28:Commit 5de0726c3c pushed by josia

main

2023-12-13 01:54:13 +01:00

15m51s

lecture 17

build.yaml #27:Commit de4897f59a pushed by josia

main

2023-12-12 12:27:13 +01:00

17m17s

lecture 16

build.yaml #26:Commit ca0594ea69 pushed by josia

main

2023-12-09 18:37:13 +01:00

13m6s

moved definitions

build.yaml #25:Commit ab088dd877 pushed by josia

main

2023-12-09 02:42:13 +01:00

12m42s

lecture 16

build.yaml #24:Commit e203c901e1 pushed by josia

main

2023-12-08 17:12:13 +01:00

15m0s

moved definition

build.yaml #23:Commit da2f702604 pushed by josia

main

2023-12-08 02:17:13 +01:00

14m8s