umazalakain/session-types-coq

Formalising session types in Coq

语言：TeX · GitHub 星标：18 · Fork：1

在 GitHub 上查看原仓库