Skills
.Work. You
Rest

Skill Explorer

Searching protocol for "uxr"

rezk-types

Official

Univalence in Rezk types for isomorphisms.

Advanced
byplurigrid
// End of Stream //