Thanks for this excellent work. Is there any timeline for the release of the REPL? How do you use repl to check the correctness of our LEAN-Workbook? For our implemented repl, we are still working on organizing the source codes. _Originally posted by @objecti0n in https://github.com/InternLM/InternLM-Math/issues/31#issuecomment-2191154730_
Thanks for this excellent work. Is there any timeline for the release of the REPL?
Originally posted by @objecti0n in #31 (comment)