Logical manifestations of topological concepts, and other things, via the univalent point of view.
Here you can share your experience with the project you are suggesting or its comparison with TypeTopology. Optional.
A valid email to send you a verification link when necessary or log in.