GitHub repository: mlasson/paramcoq
Primary language: OCaml
Description: Coq plugin for parametricity