benchmarkist 5 hours ago

Similar to sledgehammer in Isabelle/HOL.