This website requires JavaScript.
Explore
Help
Sign in
josia-notes
/
w23-logic-2
Watch
1
Star
0
Fork
You've already forked w23-logic-2
0
Code
Issues
Pull requests
Projects
Releases
Packages
Wiki
Activity
Actions
updated proof on diagonal intersection
Commit
66d38de1ea
pushed by
josia
master
Workflow
build.yaml
checkout
13m51s
checkout
Failure
Set up job
4s
actions/checkout@v3
4s
compile
1m32s
Prepare pages
1s
Deploy to pages
3s
Complete job
12m4s