This is a demo instance. Do not store any relevant data here. You
can use the user 'demo' and password 'password' to login.
Santosh Nagarakatte
@santoshgnag@mathstodon.xyz
Joined: 04/28/2022
About Santosh Nagarakatte
Computer science professor at Rutgers CS. I build math libraries and verify software systems.
Lists
santoshgnag has no public lists
Timeline
santoshgnag has no activity yet