tomdjong / typetopology Goto Github PK
View Code? Open in Web Editor NEWThis project forked from martinescardo/typetopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
License: GNU General Public License v3.0