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
<p>We provide the following supplementary material for our <a href="">paper</a>. The longer version of our paper can be found here: <a href="">report</a>.</p> <p><strong>Compiling Zipperposition</strong></p> <p>Compilation instructions for Zipperposition, in particular instructions for compilation for <a href="">StarExec</a>, can also be found in the <a href="">Zipperposition readme</a>.</p> <p>In general, follow the following steps:</p> <ul> <li>Install <a href="https://opam.oc...
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
Dataset . 2018
Provider: Zenodo
Powered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue