Skip to content

Merge pull request #147 from ppedrot/template-no-sup-constraint #726

Merge pull request #147 from ppedrot/template-no-sup-constraint

Merge pull request #147 from ppedrot/template-no-sup-constraint #726

Annotations

2 warnings

build (coqorg/coq:8.16)

succeeded Sep 5, 2024 in 17m 16s