synthetic-homotopy-theory

There are 0 repository under synthetic-homotopy-theory topic.

agda-unimath
UniMath / agda-unimath
The agda-unimath library
homotopy-type-theory univalent-foundations univalent-mathematics category-theory commutative-algebra finite-groups graph-theory order-theory ring-theory structured-types higher-group-theory synthetic-homotopy-theory type-theories univalent-combinatorics number-theory group-theory trees orthogonal-factorization-systems species universal-algebra
Language:Agda 208

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.

UniMath / agda-unimath