umazalakain / session-types-coqLinks

Formalising session types in Coq
17Updated 5 years ago

Alternatives and similar repositories for session-types-coq

Users that are interested in session-types-coq are comparing it to the libraries listed below

Sorting: