inox icon indicating copy to clipboard operation
inox copied to clipboard

Published 20 hours ago • verified publisher icon epfl-lara

Add mode where lambda equality is considered undecidable

Open romac opened this issue 6 years ago • 0 comments

Background: https://github.com/epfl-lara/stainless/issues/432

romac avatar Jan 16 '19 13:01 romac