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

coq

succeeded Feb 20, 2026 in 1m 16s