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).

v1.0.0

This version contains an article describing the whole program and slides.