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
Resources
| Name | Format | Description | Link |
|---|---|---|---|
| Unknown Resource | Unknown | Open resource | |
| Unknown Resource | Unknown | Open resource | |
| Unknown Resource | Unknown | Open resource |