Skip to content

Adapt to Coq PR #19301 which unifies the syntax of Theorem, Definition and Fixpoint #1811

Adapt to Coq PR #19301 which unifies the syntax of Theorem, Definition and Fixpoint

Adapt to Coq PR #19301 which unifies the syntax of Theorem, Definition and Fixpoint #1811

Annotations

2 warnings

build (8.20+rc1, 4.14.x)

succeeded Oct 24, 2024 in 7m 32s