Lîm Tsú-thuàn
Posts
Notes
Projects
Talks
Site Roll
search
⌘K
An Agda Framework for Synthetic Mathematics
[math-000K]
2025
https://samtoth.github.io/agda-synthetic-categories/index/index.xml
allowfullscreen