A checker for SCPOG format in CakeML.
array: Improving the SCPOG checker with arrays (manually).
cnf_scpogSemScript.sml: Defines the syntax and semantics of CNF / SCPOG
scpogScript.sml: Defines the proof checker for SCPOG
scpog_parsingScript.sml: Parsing interface for CNF and SCPOG files