Prove that the locale of spectra is compact

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