Buckley, M. (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