rewriter icon indicating copy to clipboard operation
rewriter copied to clipboard
verified publisher icon mit-plv

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

Open SkySkimmer opened this issue 1 year ago • 0 comments

SkySkimmer avatar Oct 30 '24 12:10 SkySkimmer