w23-logic-3

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

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

definition group action

build.yaml #22 -Commit c59fdb1c9d pushed by josia

main

2023-12-08 02:03:05 +01:00

2m14s

fixed typos

build.yaml #21 -Commit c1316d8bb5 pushed by josia

main

2023-12-08 01:59:19 +01:00

17m3s

lecture 15

build.yaml #20 -Commit daec11591d pushed by josia

main

2023-12-08 01:42:14 +01:00

2m42s

countable clopen base

build.yaml #19 -Commit 0a46981e53 pushed by josia

main

2023-12-06 14:12:13 +01:00

14m43s

tutorial

build.yaml #18 -Commit 8038e2baeb pushed by josia

main

2023-12-05 18:29:20 +01:00

15m34s