OpenBMB/MathForm

Voir sur GitHub

Étoiles: 19
Forks: 1
Issues débutants ouvertes: 0
Issues indexées: 2

Langage dominant: Python
Licence: Apache-2.0
Dernier push GitHub: 17/8/2026
Dernière indexation: 19/9/2026
Guide de contribution: Aucun guide de contribution
Code de conduite: Aucun code de conduite
Labels débutants: Aucun label débutant indexé
Métriques de merge des PR: Aucune PR mergée en 30 j

Accessible aux débutants Tout

Ouverte Toutes

2 issues ouvertes indexées

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

Difficulté 2/5 1-3 heures Accessibilité débutants 85/100

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

Difficulté 3/5 1-2 jours Accessibilité débutants 25/100

OpenBMB/MathForm#1 · Ouverte le 19/8/2026

Un résumé court des issues GitHub adaptées aux débutants.