coxswain icon indicating copy to clipboard operation
coxswain copied to clipboard

Published 20 hours ago • verified publisher icon nfrisby

Add `Lacks` constraint to `HasSomeCol`

Open nfrisby opened this issue 7 years ago • 0 comments

In vproof, the tag of MkV should be used as that Lacks constraint's evidence.

nfrisby avatar Sep 16 '17 22:09 nfrisby