Skip to content

Adapt to Coq PR #19301: unify the syntax of definition and theorem #1328

Adapt to Coq PR #19301: unify the syntax of definition and theorem

Adapt to Coq PR #19301: unify the syntax of definition and theorem #1328

Annotations

1 warning

nix-dev-build (macos-latest, coq-8-19, fatalwarnings)

succeeded Oct 25, 2024 in 5m 52s