datatt icon indicating copy to clipboard operation
datatt copied to clipboard

verified publisher icon mmcqd
→

Metadata

A dependent type theory with user defined data types

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

← Metadata

46
Stars
1
Forks
Watchers

Owner

verified publisher icon mmcqd

Metadata

A dependent type theory with user defined data types

Back