Skip to content

Adapt to rocq-prover/rocq#20813 (Update default hypothesis name in generated schemes) - #176

Merged
ppedrot merged 1 commit into
rocq-prover:masterfrom
dhalilov:better-names-for-induction-principle-cases
Jul 2, 2025
Merged

Adapt to rocq-prover/rocq#20813 (Update default hypothesis name in generated schemes)#176
ppedrot merged 1 commit into
rocq-prover:masterfrom
dhalilov:better-names-for-induction-principle-cases

Adapt to rocq-prover/rocq#20813 (Update default hypothesis name in ge…

0521d0e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs