Skip to content

[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
Closed

[rfc] Introduce a new ERASEcast kind for evaluation using verified erasure …#20503
mattam82 wants to merge 1 commit into
rocq-prover:masterfrom
mattam82:eval-erase

Introduce a new ERASEcast kind for evaluation using verified erasure …

7bedc37
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs