paramcoq
Coq plugin for parametricity [maintainer=@proux01]
44 stars
12 watching
24 forks
Language: Coq
last commit: 18 days ago
Linked from 2 awesome lists
coqcoq-cicoq-platformcoq-plugindocker-coq-actionparametricity
uhub/awesome-coq