Huajian Xin
Results
1
comments of
Huajian Xin
> Same issue here when using Lean 4.7.0, any suggestions? I solved this in [my branch](https://github.com/xinhjBrant/repl).