Issues du dépôt

ldct/leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

Voir sur GitHub
Stars
 (0 étoile)
Forks
 (0 fork)
Issues indexées
 (0 issue indexée)
issues débutant ouvertes
 (0 issue débutant ouverte)
Dernière indexation
17 août 2026
Dernier push GitHub
13 avr. 2026
Licence
MIT License
Guide de contribution
Aucun guide de contribution
Code de conduite
Aucun code de conduite
Langage principal
CSS
Métriques de merge PR
 (Aucune PR mergée en 30 j)
Labels débutant
Aucun label débutant indexé

Issues

0 issue indexée fermée

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