Skip to content

Experiment the addition of sealed/defined attributes - #19029

Closed
herbelin wants to merge 21 commits into
rocq-prover:masterfrom
herbelin:master+sealed-attribute
Closed

Experiment the addition of sealed/defined attributes#19029
herbelin wants to merge 21 commits into
rocq-prover:masterfrom
herbelin:master+sealed-attribute

Replace binary sealed/defined attribute by ternary sealed/opaque/tran…

3076d12
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs