Skip to content

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

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

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

debian-check-all

succeeded Mar 12, 2025 in 2s