Benchmark Auto Theorems

[andrew-johnson-4]

trafficstars

Is your feature request related to a problem? Please describe.

Schubert's Steamroller was an early auto proof.

A clear and concise description of what the problem is. Ex. I'm always frustrated when [...]

Describe the solution you'd like This is like a benchmark, but for proof tactics.