Release of REPL

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_

The issue asks about a REPL release and how to use it to check a LEAN-Workbook, but it names no files, tests, or entry points. Start by locating the repository's REPL implementation and release documentation; completion would require a documented release path or an explicitly scoped implementation task.

Rédigé par le modèle d'indexation à partir du texte de l'issue.