cubical icon indicating copy to clipboard operation
cubical copied to clipboard

Published 20 hours ago • verified publisher icon simhu
→

Metadata

Implementation of Univalence in Cubical Sets

Results 0 cubical issues
Sort by recently updated
recently updated
newest added

← Metadata

134
Stars
10
Forks
Watchers

Owner

verified publisher icon simhu

Metadata

Implementation of Univalence in Cubical Sets

Back