Skip to content

Adapt to rocq-prover/rocq#21450 (Add poly flag to declare_projections)

e4d5676
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Closed

Adapt to rocq-prover/rocq#21450 (Add poly flag to declare_projections) #56

Adapt to rocq-prover/rocq#21450 (Add poly flag to declare_projections)
e4d5676
Select commit
Loading
Failed to load commit list.
build (dev)
failed Jan 19, 2026 in 1m 49s