Description
This package contains problems used for evalaution and the raw evaluation data for the Extending a Brainiac Prover to Lambda-Free Higher-Order Logic article
| Date made available | 2020 |
|---|---|
| Publisher | Zenodo |
Cite this
- DataSetCite
Extending a Brainiac Prover to Lambda-Free Higher-Order Logic -- Evalution Data
- Petar Vukmirovivc (Creator)
- Jasmin Blanchette (Creator)
- Stephan Schulz (Creator)
- Simon Cruanes (Creator)
Dataset / Software