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