This is a demo instance. Do not store any relevant data here. You
can use the user 'demo' and password 'password' to login.
Hiroyuki Miyoshi
@metaphusika@mathstodon.xyz
Joined: 11/15/2022
About Hiroyuki Miyoshi
Research interests: category theory, mathematical logic, theoretical computer science, philosophy of computation.
Lists
metaphusika has no public lists
Timeline
metaphusika has no activity yet