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