Skip to content

Adapt to coq/coq#19690 (Hint Extern follows proof mode) #358

Adapt to coq/coq#19690 (Hint Extern follows proof mode)

Adapt to coq/coq#19690 (Hint Extern follows proof mode) #358

dependabot-automerge

succeeded Mar 12, 2025 in 3s