Lean Focused Research Organization
@lean-lang.org
Supporting the Formal Mathematics revolution
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