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

Toolchain directory not reliably detected on Windows

Open Kha opened this issue 9 months ago • 0 comments

See #lean4 > LetRec Error @ 💬. The comparison probably needs to be more filesystem-aware.

Kha avatar Apr 01 '25 17:04 Kha