sett icon indicating copy to clipboard operation
sett copied to clipboard

Published 2 years ago • verified publisher icon AndrasKovacs
→

Metadata

Setoid type theory implementation

sett

Setoid type theory implementation (new, WIP)

← Metadata

38
Stars
0
Forks
38
Watchers

Owner

verified publisher icon AndrasKovacs

Metadata

Setoid type theory implementation

Back