Skip to content

adapt to coq/coq#19872 (Inductive ": Type" means Type) #42

adapt to coq/coq#19872 (Inductive ": Type" means Type)

adapt to coq/coq#19872 (Inductive ": Type" means Type) #42

Annotations

2 warnings

build (master, coq, ppa:jgross-h/coq-master-daily, ubuntu-latest)

succeeded Nov 25, 2024 in 11m 44s