Skip to content
Back to pull request #136

Set Polymorphic Inductive Cumulativity #60

Sign in to view logs

Set Polymorphic Inductive Cumulativity

Set Polymorphic Inductive Cumulativity #60

Annotations

11 warnings

build (coqorg/coq:8.16)

build (coqorg/coq:8.16)
failed Jan 21, 2025 in 10m 41s