/tracecheck-interpol

Labelled interpolation system for resolution proofs in the Tracecheck format.

Primary LanguageCOtherNOASSERTION

Stargazers

No one’s star this repository yet.