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.
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.