GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ searchable-set
Top 1 searchable-set open source projects
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
1-1
of
1
searchable-set projects