Return to Article Details A formal verification of the theory of parity complexes Download Download PDF