A Mathematical Benchmark for Inductive Theorem Provers.

Thibault Gauthier, Chad E. Brown, Mikolas Janota, Josef Urban

Browse the full LPAR paper archive.