Type Theory Forall
@ttforall.bsky.social
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
No videos 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