@tuemura
Taichi Uemura
@tuemura
True categorical type theory
https://uemurax.github.io
@t_uemura669101
41
フォロワー
23
フォロー中
フォロー
メンション
mixi2
今を共有でき、すぐ集える
