研究学习 / 检索整理

math-reasoning

安装量 239GitHub Stars 0更新时间 2026年5月16日

描述

Formal mathematical reasoning for research papers — derive equations, write proofs, formalize problem settings, select statistical tests, and generate LaTeX…

安全审计

使用前的风险提示

未审计

规则审计

未审计

更新 1年1月1日

智能审计

未审计

更新 1年1月1日

designuimathreasoningformalmathematicalforresearchpapersderiveequationswrite

GitHub 仓库