« Home
An Agda Framework for Synthetic Mathematics
[math-000K]
2025
https://samtoth.github.io/agda-synthetic-categories/index.xml
allowfullscreen