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
Abstract
<p>We provide the following supplementary material for our <a href="http://matryoshka.gforge.inria.fr/pubs/lfhosup_paper.pdf">paper</a>. The longer version of our paper can be found here: <a href="http://matryoshka.gforge.inria.fr/pubs/lfhosup_report.pdf">report</a>.</p> <p><strong>Compiling Zipperposition</strong></p> <p>Compilation instructions for Zipperposition, in particular instructions for compilation for <a href="https://www.starexec.org">StarExec</a>, can also be found in the <a href="https://github.com/c-cube/zipperposition/#starexec">Zipperposition readme</a>.</p> <p>In general, follow the following steps:</p> <ul> <li>Install <a href="https://opam.oc...
Funded by
EC| Matryoshka
Project
Matryoshka
Fast Interactive Verification through Strong Higher-Order Automation
  • Funder: European Commission (EC)
  • Project Code: 713999
  • Funding stream: H2020 | ERC | ERC-STG
Download from
Zenodo
Dataset . 2018
Provider: Zenodo
Powered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue