hashc icon indicating copy to clipboard operation
hashc copied to clipboard

Published 20 hours ago • verified publisher icon hash-org

Implement proof search for `infer_term` for use types

Open kontheocharis opened this issue 2 years ago • 0 comments

kontheocharis avatar Jan 30 '23 23:01 kontheocharis