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

Commits

Commits on Mar 31, 2025