import CLRSLean.Chapter_34.Section_34_4_NP_Completeness_Proofs.GeneralClique.Certificate.Length
Imports the Boolean checker, exact semantics, and polynomial certificate bound.