Skip to content

Adapt to coq/coq#18938 (EConstr.ERelevance) #102

Adapt to coq/coq#18938 (EConstr.ERelevance)

Adapt to coq/coq#18938 (EConstr.ERelevance) #102

Annotations

1 warning

build (coqorg/coq:dev)

failed Apr 17, 2024 in 1m 44s