Yukihiro Oda
@yukihiro0036.bsky.social
Specially appointed research fellow at Tohoku Univ.
Logic/Software verification/Cyclic proofs
Logic/Software verification/Cyclic proofs
No replies yet.
Lightnews
Add to your homescreen for quick access.
Add to Home Screen
Works just like the mobile app.
Install this app on your iPhone: tap the share button and then Add to Home Screen.
1
Tap the Share button
in Safari's toolbar
2
Select "Add to Home Screen"
from the menu
3
Tap "Add"
The app will appear on your home screen