An XLRUP checker built on CakeML
array: Improving the XLRUP checker with arrays (manually)
cnf_xorScript.sml: Syntax and semantics of CNF-XOR
xlrupScript.sml: Basic specification of an xlrup checker (minimal optimization)
xlrup_parsingScript.sml: Parsing interface for XLRUP