verse-lab/sisyphus

Readme
Issues
Stargazers
Watchers

Add support for higher order boolean functions

Closed this issue 2 years ago · 0 comments

kiranandcode commented 2 years ago

Add support for higher order boolean functions

Topics

coq curry-howard-isomorphism formal-verification higher-order-functions invariant-inference ocaml pldi-artifact proof-repair separation-logic

Share to

Contact site admin: Geeks.