Formal proof of the first lemma from the Optimal DPOR paper in proof.
Primary LanguageCoq
No issues in this repository yet.