MitchellBuckley/Parity-Complexes
Formal verification of the material in Parity Complexes by Ross Street (coded in Coq).
Coq
Stargazers
No one’s star this repository yet.
Formal verification of the material in Parity Complexes by Ross Street (coded in Coq).
Coq
No one’s star this repository yet.