Issues du dépôt

leanprover-community/mathlib3

Lean 3's obsolete mathematical components library: please use mathlib4

Voir sur GitHub
Stars
 (1 667 stars)
Forks
 (290 forks)
Issues indexées
 (0 issues indexées)
issues débutant ouvertes
 (0 issues débutant ouvertes)
Dernière indexation
Pas encore indexé
Dernier push GitHub
30 oct. 2023
Licence
Aucune donnée de licence
Guide de contribution
Aucun guide de contribution
Code de conduite
Aucun 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 issues indexées ouvertes

RSSAtom

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