Skip to content
master
Switch branches/tags
Go to file
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.

README.md

system-f-parametricity-model

A Model of Relationally Parametric System F in Coq

About

A Model of Relationally Parametric System F in Coq

Resources

Releases

No releases published

Packages

No packages published