research data . Dataset . 2018

Superposition for Lambda-Free Higher-Order Logic — Supplementary Material

Bentkamp, Alexander; Blanchette, Jasmin; Cruanes, Simon; Waldmann, Uwe;
Open Access
  • Published: 01 Jan 2018
  • Publisher: Zenodo
We provide the following supplementary material for our paper. The longer version of our paper can be found here: report. Compiling Zipperposition Compilation instructions for Zipperposition, in particular instructions for compilation for StarExec, can also be found in the Zipperposition readme. In general, follow the following steps: Install OPAM Zipperposition requires OCaml >= 4.03.0, e.g. use opam switch 4.05.0+flambda eval `opam config env` You might have to install gmplib on your system, e.g. sudo apt-get install libgmp3-dev Zipperposition requires the following dependencies. opam install zarith containers sequence oasis msat menhir jbuilder Clone Z...
Persistent Identifiers
Funded by
EC| Matryoshka
Fast Interactive Verification through Strong Higher-Order Automation
  • Funder: European Commission (EC)
  • Project Code: 713999
  • Funding stream: H2020 | ERC | ERC-STG
Download from
Open Access
Dataset . 2018
Provider: Zenodo
Any information missing or wrong?Report an Issue