still having issue downloading leancopilot on intel mac

Stream: lean4

[Jared green]

@Kaiyu Yang see the new comment in the now closed issue, which i still cant reopen from my mac(apparently the reopen issue button doesnt show up)

[Kaiyu Yang]

I'm not sure why the re-open button doesn't show up. You can @Peiyang-Song (the first author and main maintainer of Lean Copilot) in GitHub and ask him to help re-open it.

[Jared green]

@Peiyang Song please reopen the issue?