TT-in-TT icon indicating copy to clipboard operation
TT-in-TT copied to clipboard

Published 20 hours ago • verified publisher icon jmchapman
→

Metadata

Type theory in type theory

← Metadata

16
Stars
2
Forks
Watchers

Owner

verified publisher icon jmchapman

Metadata

Type theory in type theory

Back