Buckley, Mitchell. 2015. “A Formal Verification of the Theory of Parity Complexes”. Journal of Formalized Reasoning 8 (1):25-48. https://doi.org/10.6092/issn.1972-5787/5010.