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

perf: try dropping written files async on Windows

Open Kha opened this issue 3 months ago • 0 comments

Kha avatar Oct 19 '25 11:10 Kha