This is a demo instance. Do not store any relevant data here. You
can use the user 'demo' and password 'password' to login.
Ryan Doenges
@doenges@mathstodon.xyz
Joined: 10/12/2024
About Ryan Doenges
I am thinking about separation logic. Certified Melville head
Lists
doenges has no public lists
Timeline
doenges has no activity yet