This is a demo instance. Do not store any relevant data here. You
can use the user 'demo' and password 'password' to login.
Carlo Angiuli
@carloangiuli@mathstodon.xyz
Joined: 10/10/2024
About Carlo Angiuli
Assistant Professor in Computer Science at Indiana University. Into (homotopy) type theory & programming languages.
Lists
carloangiuli has no public lists
Timeline
carloangiuli has no activity yet