A verified algebraic representation of cairo program execution.

Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman

Browse the full CPP paper archive.