compact-type topic

List compact-type repositories

212

Stars

Forks

Watchers

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