valis

Results 1 repositories owned by valis

hoq

78
Stars
5
Forks
Watchers

A language based on homotopy type theory with an interval

verified publisher icon valis