Pulse · InternLM/InternLM-Math · GitHub

July 29, 2024 – August 5, 2024

Overview

0 Active pull requests

2 Active issues
- 0 Merged pull requests
- 0 Open pull requests
- 1 Closed issue
- 1 New issue

There hasn’t been any commit activity on InternLM/InternLM-Math in the last week.

Want to help out?

1 Issue closed by 1 person

How to display a formal data set correctly
#38 closed Aug 1, 2024

1 Issue opened by 1 person

Regarding the proofs (and theorems) in Lean-Github
#39 opened Aug 5, 2024