News
Running lake new 1234 gives me this panic: PANIC at Lean.modToFilePath.go Lean.Util.Path:40:20: ill-formed import backtrace: 0 libleanshared.dylib 0x0000000113a82728 lean_panic + 268 1 libleanshare ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback