A machine-checked proof of the average-case complexity of quicksort in coq

Eelis Van Der Weegen, James McKinna

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

Fingerprint Dive into the research topics of 'A machine-checked proof of the average-case complexity of quicksort in coq'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science