This is a demo instance. Do not store any relevant data here. You
can use the user 'demo' and password 'password' to login.
About Juli
trans femme mathematician | Second Year CS PhD Student at Carnegie Mellon University | Current interests include Type Theory, Univalent Mathematics, and Proof Assistant Interoperability | fighting back against my #Narcolepsy and #ADHD | she/they | finally chose a name!!! you can now find me @juli
Lists
seano has no public lists
Timeline
seano has no activity yet