Motivic_verona vs Session Types Coq

Session Types CoqMotivic_verona
Stars145
Downloads
Dependent Packages
Dependent Repos
Most Recent Commit5 years ago5 years ago
Total Releases
Latest Release
Open Issues
License
Programming LanguageTeXTeX