Geeks
CoqHott
/
parametricity-a-la-carte
mixing CoqEAL and univalent parametricity
Primary Language
Coq
parametricity-a-la-carte GitHub
Markdown
Readme
0
Issues
4
Stargazers
5
Watchers
parametricity-a-la-carte
mixing CoqEAL and univalent parametricity