stablesort icon indicating copy to clipboard operation
stablesort copied to clipboard
verified publisher icon pi8027

Remove workaround for coq/coq#3488

Open pi8027 opened this issue 1 year ago • 0 comments

This change requires Coq 8.19.

pi8027 avatar Feb 16 '24 17:02 pi8027