/coq_hibou_label_equivalent_terms

Formal 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.

Primary LanguageHTMLApache License 2.0Apache-2.0

No issues in this repository yet.