metacoq icon indicating copy to clipboard operation
metacoq copied to clipboard
verified publisher icon MetaCoq

Adapt to coq/coq#15071 (namegen doesn't avoid names from imported modules)

Open SkySkimmer opened this issue 4 years ago • 0 comments

Should be backwards compatible.

SkySkimmer avatar Nov 09 '21 16:11 SkySkimmer