vertical-cells-paper

This is the development as described in the paper "Formally verifying a vertical cell decomposition algorithm" published at ITP'25 (Interactive Theorem Proving).