3rd Workshop on Formal Topology

Riviera

View of the Specola from a river; the two bridges in the shadow date back to Roman times.