3rd Workshop on Formal Topology

Caffè Pedrocchi

This is one entrance to Caffe' Pedrocchi. It used to be the meeting point of rebels against Austrian occupation, in 1848.