v1.7.0

valis released this 06 Sep 19:36

· 615 commits to master since this release

The locale of real numbers
Compactness of the interval and local compactness of reals
Spectrum of a ring
Sheaves
rewriteEq meta

Assets 3