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