This website requires JavaScript.
Explore
Help
Sign In
josia-notes
/
w23-logic-2
Watch
1
Star
0
Fork
0
You've already forked w23-logic-2
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
All Workflows
build.yaml
Actor
All actors
josia
Status
All status
success
failure
waiting
running
yaref dependencies
build.yaml #61
:
Commit
9956de5277
pushed by
josia
master
2024-03-20 22:34:17 +01:00
15m57s
some small changes
build.yaml #60
:
Commit
ab14be172f
pushed by
josia
master
2024-02-16 19:59:15 +01:00
14m15s
some changes
build.yaml #59
:
Commit
f4626be14b
pushed by
josia
master
2024-02-15 05:02:17 +01:00
17m21s
gist complete
build.yaml #58
:
Commit
858e017a4a
pushed by
josia
master
2024-02-14 23:34:19 +01:00
14m49s
silver gist
build.yaml #57
:
Commit
cac1563244
pushed by
josia
master
2024-02-14 19:02:17 +01:00
17m37s
some small changes
build.yaml #56
:
Commit
515ff64ac6
pushed by
josia
master
2024-02-14 16:07:17 +01:00
15m19s
silver (unfinished gist)
build.yaml #55
:
Commit
deaf6a6bb6
pushed by
josia
master
2024-02-14 02:22:17 +01:00
15m15s
some small changes, gist
build.yaml #54
:
Commit
ebdf929dd7
pushed by
josia
master
2024-02-13 02:17:17 +01:00
16m11s
some small changes
build.yaml #53
:
Commit
b1b2a5974d
pushed by
josia
master
2024-02-11 02:57:15 +01:00
13m45s
exam
build.yaml #52
:
Commit
3faf497be7
pushed by
josia
master
2024-02-01 18:13:19 +01:00
16m19s
lecture 23
build.yaml #51
:
Commit
326cca0e54
pushed by
josia
master
2024-01-25 19:12:19 +01:00
15m3s
lecture 22
build.yaml #50
:
Commit
11ca6cd6ae
pushed by
josia
master
2024-01-22 16:07:27 +01:00
14m14s
lecture 21
build.yaml #49
:
Commit
946da98a04
pushed by
josia
master
2024-01-18 15:57:21 +01:00
15m17s
tutorial
build.yaml #48
:
Commit
ca24c68790
pushed by
josia
master
2024-01-17 12:02:19 +01:00
11m59s
updated proof on diagonal intersection
build.yaml #47
:
Commit
66d38de1ea
pushed by
josia
master
2024-01-16 00:24:26 +01:00
13m51s
updated proof on diagonal intersection
build.yaml #46
:
Commit
3d9d71fbd3
pushed by
josia
master
2024-01-16 00:10:33 +01:00
3m36s
lecture 20
build.yaml #45
:
Commit
92a06d3a90
pushed by
josia
master
2024-01-15 15:58:35 +01:00
12m29s
lecture 20
build.yaml #44
:
Commit
f20516fa8c
pushed by
josia
master
2024-01-15 15:46:04 +01:00
18s
19
build.yaml #43
:
Commit
9b625846ec
pushed by
josia
master
2024-01-13 03:52:58 +01:00
2m0s
lecture 18
build.yaml #42
:
Commit
c56c961955
pushed by
josia
master
2024-01-10 23:09:16 +01:00
16m26s
fixed numbers of lectures and failed merge
build.yaml #41
:
Commit
1b02d7e7f3
pushed by
josia
master
2024-01-10 22:44:16 +01:00
13m44s
Merge branch 'master' of https://git.abstractnonsen.se/josia-notes/w23-logic-2
build.yaml #40
:
Commit
73b8fb0dd1
pushed by
josia
master
2024-01-09 05:22:17 +01:00
16m37s
Merge branch 'master' of https://git.abstractnonsen.se/josia-notes/w23-logic-2
build.yaml #39
:
Commit
173015ffc9
pushed by
josia
master
2023-12-19 03:54:45 +01:00
11m45s
lecture 17
build.yaml #38
:
Commit
a2f5328287
pushed by
josia
master
2023-12-18 21:29:14 +01:00
12m24s
thank you!
build.yaml #37
:
Commit
5ee9701949
pushed by
josia
master
2023-12-15 19:12:10 +01:00
1m38s
thank you!
build.yaml #36
:
Commit
8eba654cdc
pushed by
josia
master
2023-12-15 19:10:31 +01:00
6m25s
lecture 16
build.yaml #35
:
Commit
8f00d7998b
pushed by
josia
master
2023-12-15 05:42:13 +01:00
15m9s
lecture 15
build.yaml #34
:
Commit
ede97ee426
pushed by
josia
master
2023-12-07 16:07:13 +01:00
13m8s
typo
build.yaml #33
:
Commit
68280c4b70
pushed by
josia
master
2023-12-04 16:22:13 +01:00
15m24s
Merge branch 'master' of https://git.abstractnonsen.se/josia-notes/w23-logic-2
build.yaml #32
:
Commit
2b1296255b
pushed by
josia
master
2023-12-04 15:57:13 +01:00
11m0s
First
Previous
1
2
3
Next
Last