Skip to content

Adapt to rocq-prover/rocq#21646 (RegularStyle := MatchStyle) #104

Adapt to rocq-prover/rocq#21646 (RegularStyle := MatchStyle)

Adapt to rocq-prover/rocq#21646 (RegularStyle := MatchStyle) #104

stdlib

succeeded Feb 20, 2026 in 3m 51s