GitHub repository: CoqHott/parametricity-a-la-carte
Primary language: Coq
Created: 2019-02-11T15:32:25Z
Description: mixing CoqEAL and univalent parametricity