/formal-trace-theory

Formal proof of the first lemma from the Optimal DPOR paper in proof.

Primary LanguageCoq

Watchers