Release of REPL

Đang mở

#45 mở ngày 21/11/2024 0 bình luận 0 reaction 0 người được giao Xem trên GitHub

Ngôn ngữ chính: Python
Star: 550
Fork: 39
Chỉ số merge pull request: Không có pull request nào được merge trong 30 ngày

Mô tả

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_

Chưa lập chỉ mục được hướng dẫn đóng góp cho kho mã nguồn này

Issue này chưa được đánh giá.