[rfc] Introduce a new ERASEcast kind for evaluation using verified erasure … - #20503

Closed

mattam82 wants to merge 1 commit into

rocq-prover:masterfrom

mattam82:eval-erase

Commits on Apr 15, 2025

Introduce a new ERASEcast kind for evaluation using verified erasure (to be linked to the kernel)
mattam82
committed
7bedc37