Skip to content

Adapt to coq/coq#20235 (Print/About use %_ for argument scopes) #41

Adapt to coq/coq#20235 (Print/About use %_ for argument scopes)

Adapt to coq/coq#20235 (Print/About use %_ for argument scopes) #41

mathcomp-test

succeeded Feb 13, 2025 in 7m 58s