Skip to content

Adapt to rocq-prover/rocq#21531 (stricter type-in-type)

50802fb
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Adapt to rocq-prover/rocq#21531 (stricter type-in-type) #57

Adapt to rocq-prover/rocq#21531 (stricter type-in-type)
50802fb
Select commit
Loading
Failed to load commit list.
build (dev)
failed Feb 11, 2026 in 2m 8s