Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with orthogonal-factorization-systems
A curated list of projects in awesome lists tagged with orthogonal-factorization-systems .
https://github.com/UniMath/agda-unimath
The agda-unimath library
category-theory commutative-algebra finite-groups graph-theory group-theory higher-group-theory homotopy-type-theory number-theory order-theory orthogonal-factorization-systems ring-theory species structured-types synthetic-homotopy-theory trees type-theories univalent-combinatorics univalent-foundations univalent-mathematics universal-algebra
Last synced: 20 Nov 2024
