Benchmarking examples for Blaster, the Lean4 tactic for Automated Theorem Proving - View it on GitHub