Unimath
Unimath
is a Rocq library that formalizes univalent mathematics
References
https://github.com/UniMath/UniMath
Backlinks
Add 2-Sided Fibrations to the 1Lab
Split Cartesian Fibration
2-Sided Displayed Category