A Dependent Version of Univalence

agda / cubical

An experimental library for Cubical Agda

Other

454 stars 139 forks source link

Closed kangrongji closed 2 years ago

kangrongji commented 2 years ago

Dependent ua for dependent equivalences/isomorphisms.

ecavallo commented 2 years ago

Thanks!