Last Update: Tue Jun 24 2025 19:13:50 GMT+0000 (Coordinated Universal Time)

Repository: https://github.com/UniMath/agda-unimath