Formally proved nerd
@lostcrab.bsky.social
Interests: PL design, type systems, program synthesis, optimization, formal verification, model checking, Coq, Lean, ...
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