petar.vukmirovic2 at gmail.com
Thu Sep 27 18:39:16 CEST 2018
I would like to share with you the draft of the paper we plan to submit to
Extending a brainiac prover to lambda-free higher-order logic
Petar Vukmirović, Jasmin Christian Blanchette, Simon Cruanes, and Stephan
Shorter, conference version of the draft is available at:
http://matryoshka.gforge.inria.fr/pubs/ehoh_paper.pdf, whereas report
is available at http://matryoshka.gforge.inria.fr/pubs/ehoh_report.pdf.
The paper explains how a state of the art prover can be extended to a
We managed to do so while having near-to-0 overhead and beating encoding
If you're interested in the paper, we would be super thankful if you could
give us some
comments :) Links given above will be periodically refreshed with updated
of the paper.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the matryoshka-devel