GitHub repository: CoqHott/univalent_parametricity
Primary language: Coq
Created: 2017-07-25T12:49:04Z
Description: Univalent Parametricity for Effective Transport