elpinal
@elpinal@mstdn.cbult.space
Joined: 09/16/2023
About elpinal
依存型理論 / 構成的数学
Lists
elpinal has no public lists
Timeline
elpinal has no activity yet
@elpinal@mstdn.cbult.space
Joined: 09/16/2023
依存型理論 / 構成的数学
elpinal has no public lists
elpinal has no activity yet