LeanDojo icon indicating copy to clipboard operation
LeanDojo copied to clipboard
verified publisher icon lean-dojo

I'd like to reopen #183

Open Adarsh321123 opened this issue 1 year ago • 1 comments

#183 is still an issue for me. Can we please revisit this?

Adarsh321123 avatar Sep 19 '24 20:09 Adarsh321123

Sure, feel free to go ahead and re-open it.

yangky11 avatar Sep 23 '24 21:09 yangky11