Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by UniMath
A curated list of projects in awesome lists by UniMath .
https://github.com/UniMath/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
coq coq-library foundations mathematics unimath
Last synced: 01 Aug 2024
https://github.com/UniMath/SymmetryBook
This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
Last synced: 04 Aug 2024
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: 04 Aug 2024
https://github.com/UniMath/TypeTheory
The mathematical study of type theories, in univalent foundations
Last synced: 04 Aug 2024