Shreyas Srinivas
@lean-samaritan.bsky.social
Research : Formal Math ∩ Algorithms ∩ Lean ∩ Hardware
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