A mathematical benchmark for inductive theorem provers

DOI10.29007/JR72MaRDI QIDQ7025217zbMATH OpenFDO

Authors T. Gauthier, Chad E. Brown, Mikoláš Janota, Josef Urban

Publication date 19 February 2025

zbMATH Keywords

benchmarkarithmeticinductionautomated theorem proversoeisinductive theorem provers

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: A mathematical benchmark for inductive theorem provers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7025217)