Skip to content

Adapt with respect to rocq-prover/rocq#21371 #3904

Adapt with respect to rocq-prover/rocq#21371

Adapt with respect to rocq-prover/rocq#21371 #3904

Annotations

1 error

coqchk (supported)

failed Nov 28, 2025 in 17s