The agda-unimath library - Rijke, Egbert; Stenholm, Elisabeth; Prieto-Cubides, Jonathan; Bakke, Fredrik; Štěpančík, Vojtěch; others