Functional program verification problems, as caml programs and as Horn clauses.
ryosu-sato/benchmarks
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Functional program verification problems, as caml programs and as Horn clauses.