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