Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/UniMath/agda-unimath
The agda-unimath library
https://github.com/UniMath/agda-unimath
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: about 1 month ago
JSON representation
The agda-unimath library
- Host: GitHub
- URL: https://github.com/UniMath/agda-unimath
- Owner: UniMath
- License: mit
- Created: 2021-11-19T20:31:01.000Z (almost 3 years ago)
- Default Branch: master
- Last Pushed: 2024-04-19T23:59:29.000Z (5 months ago)
- Last Synced: 2024-04-20T00:53:13.077Z (5 months ago)
- Topics: 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
- Language: Agda
- Homepage: https://unimath.github.io/agda-unimath/
- Size: 26.4 MB
- Stars: 206
- Watchers: 9
- Forks: 63
- Open Issues: 80
-
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- License: LICENSE.md
- Citation: CITATION.cff