Skip to content

Define NoDup_dec with Defined instead of Qed#126

Closed
olympichek wants to merge 1 commit into
rocq-prover:masterfrom
olympichek:nodup_dec-transparent
Closed

Define NoDup_dec with Defined instead of Qed#126
olympichek wants to merge 1 commit into
rocq-prover:masterfrom
olympichek:nodup_dec-transparent

define `NoDup_dec` with `Defined` instead of `Qed`

50364a0
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs