Issues de leanprover-community/mathlib4

Stars: (3 869 étoiles)
Forks: (1 592 forks)
Issues indexées: (17 issues indexées)
issues débutant ouvertes: (17 issues débutant ouvertes)
Dernière indexation: 10 août 2026
Dernier push GitHub: 16 août 2026
Licence: Apache License 2.0
Guide de contribution: Guide de contribution
Code de conduite: Code de conduite
Langage principal: Lean
Métriques de merge PR: (Aucune PR mergée en 30 j)
Labels débutant: good first issuehelp wanted

Issues

0 issue indexée fermée

Aucune issue indexée fermée trouvée pour ce dépôt.