erwanm974 / coq_hibou_label_equivalent_terms Goto Github PK
View Code? Open in Web Editor NEWFormal proof with the Coq theorem prover that elements of some equivalence classes defined over a formal language of interactions describing the behavior of distributed systems have the same semantics.
License: Apache License 2.0