cubical. Implementation of Univalence in Cubical Sets

github.com/jyp/cubical
by @jyp

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.