sett icon indicating copy to clipboard operation
sett copied to clipboard

Published 2 years ago • verified publisher icon AndrasKovacs
→

Metadata

Setoid type theory implementation

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

← Metadata

38
Stars
0
Forks
38
Watchers

Owner

verified publisher icon AndrasKovacs

Metadata

Setoid type theory implementation

Back