hoq icon indicating copy to clipboard operation
hoq copied to clipboard

Published 20 hours ago • verified publisher icon valis
→

Metadata

A language based on homotopy type theory with an interval

hoq

A language based on homotopy type theory with an interval

← Metadata

78
Stars
5
Forks
Watchers

Owner

verified publisher icon valis

Metadata

A language based on homotopy type theory with an interval

Back