Skip to content

Test-suite: address various warnings in file ssr_mini_mathcomp.v - #18063

Merged
coqbot-app[bot] merged 1 commit into
rocq-prover:masterfrom
herbelin:master+test-suite-address-warnings-mini-mathcomp
Sep 22, 2023
Merged

Test-suite: address various warnings in file ssr_mini_mathcomp.v#18063
coqbot-app[bot] merged 1 commit into
rocq-prover:masterfrom
herbelin:master+test-suite-address-warnings-mini-mathcomp

ssr_mini_mathcomp.v: address various warnings.

2b0b7e8
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs