4pdadmin pushed to main at VladShash/deepseek-math-full-7B-lean-pro…

4pdadmin
Fri, 08 May 2026 17:08:38 +0800

13b236c7397dbd532283c85c7530a5358e8bdcac 初始化项目，由ModelHub XC社区提供模型