-
Notifications
You must be signed in to change notification settings - Fork 0
cmcl/msci
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
Formalisation of Session-based Lambda Calculus Type Systems ------------------------------------------------------------ For the Coq development see: ./Coq Developments/msci/ The Makefile should compile both the top-level proof scripts and the UPenn Metatheory library. Note the .dir_locals.el file (currently) has a hardcoded directory path for looking for the Coq files. This file is loaded by Proof General when interacting with the Coq system. You do not require to change it if you do not intend to run the development.
About
MSci project: Development of a formalisation of "Propositions as Sessions"
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published