Higher-Order Program Verification
Repositories
Issues
Comments
Results
1
repositories owned by
Higher-Order Program Verification
hoice
47
Stars
11
Forks
Watchers
An ICE-based predicate synthesizer for Horn clauses.
hopv
horn-clauses
ice
inference
verify
