Issues de yogthos/mathlib4

Stars: (1 étoile)
Forks: (0 fork)
Issues indexées: (0 issue indexée)
issues débutant ouvertes: (0 issue débutant ouverte)
Dernière indexation: 6 août 2026
Dernier push GitHub: 5 mai 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: (Métriques PR en attente)
Labels débutant: Aucun label débutant indexé

Issues

0 issue indexée

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