A Coq Library for Internal Verification of Running-Times.

Jay A. McCarthy, Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler

Browse the full FLOPS paper archive.