GitHub repository: CoqHott/cubical_forcing
Primary language: Coq
Created: 2019-04-04T16:11:55Z
Description: forcing on the cube category to realize univalence