Skip to content

Latest commit

 

History

History

ocaml

Sources of SatAnsCert Oracles + Build

Here make is expected to build SatAnsCert.native (the main extracted from Coq).