cubical-methods icon indicating copy to clipboard operation
cubical-methods copied to clipboard

verified publisher icon plt-amy
→

Metadata

A textbook on cubical type theory

← Metadata

22
Stars
0
Forks
Watchers

Owner

verified publisher icon plt-amy

Metadata

A textbook on cubical type theory

Back