3rd Workshop on Formal Topology

Lock of Leonardo

Water again. This is what remains of a lock, perhaps designed by Leonardo da Vinci.