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