@tuemura@mathtod.online
Joined: 04/24/2017
158
Followers
58
Following
True categorical type theory
{username} has no public lists
{username} has no activity yet