agda-machines icon indicating copy to clipboard operation
agda-machines copied to clipboard

Published 20 hours ago • verified publisher icon conal
→

Metadata

Denotational-categorical design of verified hardware in Agda

← Metadata

17
Stars
3
Forks
Watchers

Owner

verified publisher icon conal

Metadata

Denotational-categorical design of verified hardware in Agda

Back