Step 3 of PR #217 (depends on PR #255)

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 ayberkt closed 4 months ago