Skip to content

[leminv] [declare] Use higher-level Declare API.#12610

Merged
ppedrot merged 2 commits intorocq-prover:masterfrom
ejgallego:proof+leminv_ref
Sep 18, 2020
Merged

[leminv] [declare] Use higher-level Declare API.#12610
ppedrot merged 2 commits intorocq-prover:masterfrom
ejgallego:proof+leminv_ref

Commits

Commits on Sep 17, 2020