dot icon indicating copy to clipboard operation
dot copied to clipboard

Published 20 hours ago • verified publisher icon namin
→

Metadata

formalization of the Dependent Object Types (DOT) calculus

Results 0 dot issues
Sort by recently updated
recently updated
newest added

← Metadata

153
Stars
12
Forks
Watchers

Owner

verified publisher icon namin

Metadata

formalization of the Dependent Object Types (DOT) calculus

Back