This is a demo instance. Do not store any relevant data here. You
can use the user 'demo' and password 'password' to login.
daniel gratzer
@danielgratzer@mathstodon.xyz
Joined: 11/15/2022
About daniel gratzer
assistant professor at Aarhus University interested in (higher) category theory and (modal) type theory. he/him 🏳️🌈
Lists
danielgratzer has no public lists
Timeline
danielgratzer has no activity yet