Open bryangingechen opened 4 years ago
I looked into it. There didn't seem to be a straightforward path and I didn't want to take too much of Leo's time.
Let's leave this issue open, lest we forget.
The issues have returned: https://github.com/leanprover/lean/issues
Not sure if there's a need to copy them here anymore.
Shouldn't we close this issue?
I think it would still be a good idea to archive the issues somewhere. I could imagine that when lean4 is released, the old lean repository is removed and replaced by the new lean4 one.
Last month, the issues were disabled in the leanprover/lean repository. Would it be possible to get them copied to this repository? There was a little discussion here.