refactor: move proof pieces used by `ProofExpr`s and `ProofPlan`s to `proof_gadgets`#433

Merged

iajoiner merged 2 commits intomainfrom refactor/gadgets

Dec 16, 2024

+24-27

Commits on Dec 16, 2024

refactor: move proof pieces used by ProofExprs and ProofPlans to proof_gadgets
iajoiner
committed
fix: rename range_check_test_plan.rs to range_check_test.rs
iajoiner
committed