Rename wc to goal - #453

Open

System625 wants to merge 2 commits into

rust-lang:mainfrom

System625:rename-wc-to-goal

Commits on Aug 20, 2026

Rename `Wc`/`Wcs` to `Goal`/`Goals`
System625
committed
b3372d1
Rename the `prove_wc` judgments to `prove_goal`
System625
committed
7eeac9e