Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with compact-type
A curated list of projects in awesome lists tagged with compact-type .
https://github.com/martinescardo/TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.
agda compact-type constructive-mathematics homotopy-type-theory injective-type ordinal searchable-set totally-separated-type type-theory univalent-foundations univalent-mathematics
Last synced: 20 Nov 2024
