InternLM / InternLM/InternLM-Math
Release of REPL
Open
- 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
Assessment
This issue has not been assessed yet.