proglang / ldgv

Label dependent dependent session types
16Updated last year

Alternatives and similar repositories for ldgv:

Users that are interested in ldgv are comparing it to the libraries listed below