OTT icon indicating copy to clipboard operation
OTT copied to clipboard

verified publisher icon effectfully
→

Metadata

Observational Type Theory as an Agda library

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

← Metadata

52
Stars
2
Forks
Watchers

Owner

verified publisher icon effectfully

Metadata

Observational Type Theory as an Agda library

Back