Indexing Part II - Githubissues

martinescardo / TypeTopology

Logical manifestations of topological concepts, and other things, via the univalent point of view.

GNU General Public License v3.0

220 stars 40 forks source link

Closed tomdjong closed 1 week ago