Skip to content

[declare] Hide internals of variable declaration entries. - #12440

Merged
SkySkimmer merged 1 commit into
rocq-prover:masterfrom
ejgallego:proof+local_private
Jun 4, 2020
Merged

[declare] Hide internals of variable declaration entries.#12440
SkySkimmer merged 1 commit into
rocq-prover:masterfrom
ejgallego:proof+local_private

[declare] Hide internals of variable declaration entries.

6fe12fd
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs