3rd Workshop on Formal Topology

River

Where now is the central building of the univeristy, called Bo, there used to be a port. Under the road, the river is still floating.