CBUlt.space
Blog
ja /
en
Contents
数学などのノート
Agdaでunivalent mathematics
日記
ML module systemの参考文献一覧
Focused Modules
Links
GitHub:
elpinal
Mastodon (ja):
@elpinal@mstdn.cbult.space
Mastodon (en):
@elpinal@mathstodon.xyz
Bluesky:
@elpinal.bsky.social
Old website:
elpinal.gitlab.io
Unused accounts
Akkoma (ja):
@elpinal@bi.cbult.space
Misskey (ja):
@elpinal@mi.mashiro.site