Skip to content

Merge pull request #122 from ppedrot/econstr-inductiveops-api #101

Merge pull request #122 from ppedrot/econstr-inductiveops-api

Merge pull request #122 from ppedrot/econstr-inductiveops-api #101

Annotations

1 warning

build (coqorg/coq:dev)

failed Apr 16, 2024 in 1m 45s