GitHub repository: rocq-community/trocq
Primary language: Rocq Prover
Description: A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi]