PhD candidate studying dependent type theory at Portland State University.

Decks

Speaker Deck Pro: Add privacy options and schedule the publishing of your decks Upgrade