hashc icon indicating copy to clipboard operation
hashc copied to clipboard

Published 20 hours ago • verified publisher icon hash-org

Add proof irrelevance to data definitions

Open kontheocharis opened this issue 2 years ago • 0 comments

kontheocharis avatar Jan 30 '23 23:01 kontheocharis