InternLM / InternLM/InternLM-Math
Release of REPL
- Dominant language
- Python
- Stars
- 550
- Forks
- 39
- PR merge metrics
- No merged PRs in 30d
Description
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_
Contributor guide
No contributing guide indexed for this repository
Research direction
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.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- python
- Domain
- cli, tooling
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 20/100