Extending a Brainiac Prover to Lambda-Free Higher-Order Logic -- Evalution Data

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本数据集包包含用于评测的测试问题，以及《将Brainiac定理证明器拓展至无λ高阶逻辑》（Extending a Brainiac Prover to Lambda-Free Higher-Order Logic）一文所用的原始评测数据。