rocq-community/paramcoq

Old Coq plugin for parametricity [maintainer=@ppedrot]

语言：OCaml · GitHub 星标：44 · Fork：28

话题：coq · coq-ci · coq-platform · coq-plugin · docker-coq-action · parametricity

在 GitHub 上查看原仓库