paramcoq icon indicating copy to clipboard operation
paramcoq copied to clipboard
verified publisher icon coq-community

Adapt w.r.t. coq/coq#18996.

Open ppedrot opened this issue 1 year ago • 0 comments

ppedrot avatar May 03 '24 08:05 ppedrot