Rijke, E., Stenholm, E., Prieto-Cubides, J., Bakke, F., Štěpančík, V., & others. The agda-unimath library [Computer software]. https://github.com/UniMath/agda-unimath/