Lean 4.30.0 Adds Cbv Tactic For Call-By-Value Proof Evaluation · Digg