setoidtt icon indicating copy to clipboard operation
setoidtt copied to clipboard

Published 5 years ago • verified publisher icon AndrasKovacs
→

Metadata

Prototype implementations of systems based on setoid type theory

Prototype implementations of systems based on setoid type theory.

Working small prototype: proto

← Metadata

65
Stars
1
Forks
65
Watchers

Owner

verified publisher icon AndrasKovacs

Metadata

Prototype implementations of systems based on setoid type theory

Back