Skip to content

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

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

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

dependabot-automerge

succeeded Mar 12, 2025 in 3s