Taichi Uemura
@tuemura@mathtod.online
Joined: 04/24/2017
About Taichi Uemura
True categorical type theory
Lists
{username} has no public lists
Timeline
{username} has no activity yet
@tuemura@mathtod.online
Joined: 04/24/2017
True categorical type theory
{username} has no public lists
{username} has no activity yet