GitHub - hopv/benchmarks: Functional program verification problems, as caml programs and as Horn clauses. · GitHub

Name		Name	Last commit message	Last commit date
caml		caml
clauses		clauses
scripts		scripts
stats		stats
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md

Repository files navigation

Functional program verification problems, as caml programs and as Horn clauses.

About

Functional program verification problems, as caml programs and as Horn clauses.

Custom properties

2 stars

3 watching

Report repository

Releases

Packages

Used by

Contributors

Languages