Formalizing O Notation in Isabelle/HOL.

Jeremy Avigad, Kevin Donnelly

Browse the full CADE paper archive.