remove checked ast from as_prover/checked_runner

Question

o1-david opened this issue a year ago · comments