- 👋 Hi, I’m Steven (@stschaef)
- 〽️ I’m currently a PhD student at the University of Michigan
- 📫 If you need to reach me, email me at stschaef at umich dot edu
Highlights
- Pro
Block or Report
Block or report stschaef
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned Loading
-
-
maxsnew/cubical-categorical-logic
maxsnew/cubical-categorical-logic PublicExtensions to the cubical stdlib category theory for categorical logic/type theory
-
maxsnew/grammars-and-semantic-actions
maxsnew/grammars-and-semantic-actions PublicMonoidal Toposes of Grammars and Semantic Actions
TeX 10
-
mplse-reading-group/mplse-reading-group.github.io
mplse-reading-group/mplse-reading-group.github.io PublicHaskell 2
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.