Simon Huber

icon indicating a website link https://simhu.github.io

Results 1 repositories owned by Simon Huber

cubical

134
Stars
10
Forks
Watchers

Implementation of Univalence in Cubical Sets

verified publisher icon simhu