Skip to content
Docker CI

Set Polymorphic Inductive Cumulativity #60

Sign in to view logs

Set Polymorphic Inductive Cumulativity

Set Polymorphic Inductive Cumulativity #60

Annotations

1 warning

build (coqorg/coq:8.9)

build (coqorg/coq:8.9)
succeeded Jan 21, 2025 in 10m 48s