cohesivett icon indicating copy to clipboard operation
cohesivett copied to clipboard

verified publisher icon mikeshulman
→

Metadata

Cohesive type theory

cohesivett

Cohesive type theory

← Metadata

18
Stars
3
Forks
Watchers

Owner

verified publisher icon mikeshulman

Metadata

Cohesive type theory

Back