This is a demo instance. Do not store any relevant data here. You
can use the user 'demo' and password 'password' to login.
Alvaro Pintado
@Convention_T@mathstodon.xyz
Joined: 04/26/2023
About Alvaro Pintado
Graduate student (3rd Year PhD) @ Penn, logic
Trying to learn the Ways of Beweistheorie
Lists
Convention_T has no public lists
Timeline
Convention_T has no activity yet