UniMath/agda-unimath

The UniMath/agda-unimath library is an open-source project that aims to formalize mathematics using the Agda proof assistant. It provides a comprehensive framew