OpenBMB/MathForm

在 GitHub 查看

星标: 19
派生: 1
开放的新手 issue: 1
已索引 issue: 2

主要语言: Python
许可证: Apache-2.0
最近 GitHub push: 2026年8月17日
最近索引: 2026年9月19日
贡献指南: 没有贡献指南
行为准则: 没有行为准则
新手标签: 没有已索引的新手标签
PR 合并指标: 30 天内没有已合并 PR

适合新手全部

未关闭全部

Default header handling costs about half the compiling formalizations (two-line fix in ensure_mathlib_import) 未关闭

难度 2/5 1-3 小时新手友好度 85/100

OpenBMB/MathForm#2 · 2026年8月22日创建

精选适合新手参与的 GitHub issue 摘要。