OpenBMB/MathForm

Ver en GitHub

Estrellas: 19
Forks: 1
Issues abiertos para principiantes: 0
Issues indexados: 2

Lenguaje dominante: Python
Licencia: Apache-2.0
Último push a GitHub: 17/8/2026
Última indexación: 19/9/2026
Guía de contribución: Sin guía de contribución
Código de conducta: Sin código de conducta
Etiquetas para principiantes: Sin etiquetas para principiantes indexadas
Métricas de merge de PR: Sin PR fusionados en 30 d

Para principiantes Todo

Abierto Todos

2 issues abiertos indexados

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

Dificultad 2/5 1-3 horas Aptitud para principiantes 85/100

OpenBMB/MathForm#2 · Abierto el 22/8/2026
I built a demo of MathForm on Hugging Face Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 25/100

OpenBMB/MathForm#1 · Abierto el 19/8/2026

Un resumen breve de issues de GitHub para principiantes.