OCaml (bindings)

E2192478 UNEXPLORED

OCaml (bindings) are language interfaces that allow the OCaml programming language to interact with and use the Z3 theorem prover’s functionality.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label Occurrences
OCaml (bindings) canonical 1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Z3 → programmingLanguage → OCaml (bindings) ⓘ