boulme/satans-cert boulme/satans-cert

  • Stars
    star
    2
  • Language Coq
  • License
    GNU Lesser Genera...
  • Created about 6 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
boulme/satans-cert
github

boulme

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Certifying Answers of Boolean SAT-Solvers (with a proof combining Coq and OCaml typecheckers)

More Repositories

1

Impure

A Coq library to embed Impure OCaml oracles in certified Coq code
Coq
2
star
2

ImpureDemo

A Coq library to embed Impure OCaml oracles in certified Coq code
Coq
1
star