Toggle navigation
Sign in with Github
Mihael Sedmak
msedmak
Lean@CROZ
A talk given at the QED conference on how some of the Lean principl...
You like Mihaels decks?
Start uploading yours!
Sign in with Github