elan icon indicating copy to clipboard operation
elan copied to clipboard
verified publisher icon leanprover

debug

Open Kha opened this issue 1 year ago • 0 comments

Kha avatar Feb 22 '24 21:02 Kha