なかにゃん
@naca_nyan@mathtod.online
Joined: 04/24/2017
About なかにゃん
Logic, Category Theory, Type Theory
ふれあど https://fla.red/@naca_nyan
Twitter https://twitter.com/naca_nyan
Lists
naca_nyan has no public lists
Timeline
naca_nyan has no activity yet
@naca_nyan@mathtod.online
Joined: 04/24/2017
Logic, Category Theory, Type Theory
ふれあど https://fla.red/@naca_nyan
Twitter https://twitter.com/naca_nyan
naca_nyan has no public lists
naca_nyan has no activity yet