GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ univalent-mathematics
Top 3 univalent-mathematics open source projects
formal-topology-in-UF
Formal Topology in Univalent Foundations (WIP).
✭ 27
CSS
shell
Makefile
topology
homotopy-type-theory
univalent-foundations
univalent-mathematics
formal-topologies
locale-theory
pointless-topology
constructive-topology
TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
✭ 132
Agda
TeX
type-theory
agda
ordinal
homotopy-type-theory
univalent-foundations
constructive-mathematics
compact-type
totally-separated-type
injective-type
searchable-set
univalent-mathematics
SymmetryBookFormalization
Univalent mathematics in Agda
✭ 117
Makefile
type-theory
category-theory
graph-theory
agda
group-theory
number-theory
commutative-algebra
homotopy-type-theory
univalent-foundations
finite-groups
order-theory
univalent-mathematics
ring-theory
structured-types
univalent-combinatorics
synthetic-homotopy-theory
higher-group-theory
type-theories
1-3
of
3
univalent-mathematics projects