Skip to content

Adapt to coq/coq#19783 (ml_tactic_name contains hash)#163

Draft
SkySkimmer wants to merge 1 commit intomit-plv:masterfrom SkySkimmer:ltac2-hashmaps

Commits

Commits on Oct 30, 2024