TY  - RPRT
TI  - A Mathematical Benchmark for Inductive Theorem Provers
AU  - Thibault Gauthier
AU  - Chad E. Brown
AU  - Mikolas Janota
AU  - Josef Urban
PY  - 2023
UR  - https://arxiv.org/abs/2304.02986
ID  - 2304.02986
ER  -