lean4 icon indicating copy to clipboard operation
lean4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover

`IO.FS.realPath` does not resolve symlinks on Windows

Open Kha opened this issue 4 years ago • 0 comments

(as created by mklink or cmake using Developer Mode)

Kha avatar Nov 19 '21 12:11 Kha