-
- Downloads
Merge branch 'logrel' into 'master'
Logical Relations See merge request !3
No related branches found
No related tags found
Checking pipeline status
Showing
- _CoqProject 6 additions, 0 deletions_CoqProject
- theories/logrel/examples/double.v 128 additions, 0 deletionstheories/logrel/examples/double.v
- theories/logrel/lsty.v 46 additions, 0 deletionstheories/logrel/lsty.v
- theories/logrel/ltyping.v 199 additions, 0 deletionstheories/logrel/ltyping.v
- theories/logrel/session_types.v 149 additions, 0 deletionstheories/logrel/session_types.v
- theories/logrel/subtyping.v 312 additions, 0 deletionstheories/logrel/subtyping.v
- theories/logrel/types.v 719 additions, 0 deletionstheories/logrel/types.v
Loading
Please register or sign in to comment