Skip to content

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

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

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

debian-sid

succeeded Mar 13, 2025 in 3h 6m 46s