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
19
#43
:
Commit
9b625846ec
pushed by
josia
master
2024-01-13 03:52:58 +01:00
2m0s
thank you!
#37
:
Commit
5ee9701949
pushed by
josia
master
2023-12-15 19:12:10 +01:00
1m38s
lecture 12
#29
:
Commit
9a3359dfd0
pushed by
josia
master
2023-11-27 16:10:06 +01:00
1m19s
xspace
#24
:
Commit
32c8b3214b
pushed by
josia
master
2023-11-14 23:15:04 +01:00
1m13s
small fixes
#23
:
Commit
26c32ce1bb
pushed by
josia
master
2023-11-13 20:29:43 +01:00
1m14s
better ref for axioms
#22
:
Commit
64a348389b
pushed by
josia
master
2023-11-13 20:23:17 +01:00
1m14s
some fixes
#21
:
Commit
0771440511
pushed by
josia
master
2023-11-13 19:44:08 +01:00
1m13s
fixed label
#9
:
Commit
4a27324442
pushed by
josia
master
2023-10-24 10:35:57 +02:00
1m7s
lecture 03
#8
:
Commit
1860f988c2
pushed by
josia
master
2023-10-24 00:03:08 +02:00
1m8s
03 beginning
#7
:
Commit
ad39e2ac6d
pushed by
josia
master
2023-10-23 22:44:44 +02:00
1m6s
lecture 02
#6
:
Commit
f7bd6359bd
pushed by
josia
master
2023-10-23 11:45:28 +02:00
1m6s
updated README.md
#5
:
Commit
5f5de21d3d
pushed by
josia
master
2023-10-21 21:27:52 +02:00
1m10s
fixed ci
#4
:
Commit
a7c18aa973
pushed by
josia
master
2023-10-17 23:49:26 +02:00
1m6s
gitea ci
#2
:
Commit
513c04095e
pushed by
josia
master
2023-10-17 21:08:08 +02:00
1m6s