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
#61
:
Commit
9956de5277
pushed by
josia
master
2024-03-20 22:34:17 +01:00
15m57s
some small changes
#60
:
Commit
ab14be172f
pushed by
josia
master
2024-02-16 19:59:15 +01:00
14m15s
some changes
#59
:
Commit
f4626be14b
pushed by
josia
master
2024-02-15 05:02:17 +01:00
17m21s
gist complete
#58
:
Commit
858e017a4a
pushed by
josia
master
2024-02-14 23:34:19 +01:00
14m49s
silver gist
#57
:
Commit
cac1563244
pushed by
josia
master
2024-02-14 19:02:17 +01:00
17m37s
some small changes
#56
:
Commit
515ff64ac6
pushed by
josia
master
2024-02-14 16:07:17 +01:00
15m19s
silver (unfinished gist)
#55
:
Commit
deaf6a6bb6
pushed by
josia
master
2024-02-14 02:22:17 +01:00
15m15s
some small changes, gist
#54
:
Commit
ebdf929dd7
pushed by
josia
master
2024-02-13 02:17:17 +01:00
16m11s
some small changes
#53
:
Commit
b1b2a5974d
pushed by
josia
master
2024-02-11 02:57:15 +01:00
13m45s
exam
#52
:
Commit
3faf497be7
pushed by
josia
master
2024-02-01 18:13:19 +01:00
16m19s
lecture 23
#51
:
Commit
326cca0e54
pushed by
josia
master
2024-01-25 19:12:19 +01:00
15m3s
lecture 22
#50
:
Commit
11ca6cd6ae
pushed by
josia
master
2024-01-22 16:07:27 +01:00
14m14s
lecture 21
#49
:
Commit
946da98a04
pushed by
josia
master
2024-01-18 15:57:21 +01:00
15m17s
tutorial
#48
:
Commit
ca24c68790
pushed by
josia
master
2024-01-17 12:02:19 +01:00
11m59s
updated proof on diagonal intersection
#47
:
Commit
66d38de1ea
pushed by
josia
master
2024-01-16 00:24:26 +01:00
13m51s
updated proof on diagonal intersection
#46
:
Commit
3d9d71fbd3
pushed by
josia
master
2024-01-16 00:10:33 +01:00
3m36s
lecture 20
#45
:
Commit
92a06d3a90
pushed by
josia
master
2024-01-15 15:58:35 +01:00
12m29s
lecture 20
#44
:
Commit
f20516fa8c
pushed by
josia
master
2024-01-15 15:46:04 +01:00
18s
lecture 18
#42
:
Commit
c56c961955
pushed by
josia
master
2024-01-10 23:09:16 +01:00
16m26s
fixed numbers of lectures and failed merge
#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
#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
#39
:
Commit
173015ffc9
pushed by
josia
master
2023-12-19 03:54:45 +01:00
11m45s
lecture 17
#38
:
Commit
a2f5328287
pushed by
josia
master
2023-12-18 21:29:14 +01:00
12m24s
thank you!
#36
:
Commit
8eba654cdc
pushed by
josia
master
2023-12-15 19:10:31 +01:00
6m25s
lecture 16
#35
:
Commit
8f00d7998b
pushed by
josia
master
2023-12-15 05:42:13 +01:00
15m9s
lecture 15
#34
:
Commit
ede97ee426
pushed by
josia
master
2023-12-07 16:07:13 +01:00
13m8s
typo
#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
#32
:
Commit
2b1296255b
pushed by
josia
master
2023-12-04 15:57:13 +01:00
11m0s
Suggestions by Mirko (pages 1 - 18), thank you!
#31
:
Commit
bc24bdab44
pushed by
josia
master
2023-12-03 03:42:13 +01:00
-13m3s
13
#30
:
Commit
97757443c4
pushed by
josia
master
2023-11-30 16:07:14 +01:00
13m34s
First
Previous
1
2
Next
Last