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-sid

succeeded Mar 12, 2025 in 3h 8m 38s