Published September 23, 2020 | Version 1
Dataset Open

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

Creators

  • 1. Vrije Universiteit Amsterdam
  • 2. DHBW Stuttgart
  • 3. Aesthetic Integration

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

Files

ehoh_article_problems.zip

Files (663.6 MB)

Name Size Download all
md5:cc5c33d9d2146176201209d1b5d9a0ec
662.7 MB Preview Download
md5:09573459a6b69da02d986e608447e45b
954.3 kB Preview Download

Additional details

Funding

Matryoshka – Fast Interactive Verification through Strong Higher-Order Automation 713999
European Commission