Issues de ldct/lean-pool

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: 20 août 2026
Dernier push GitHub: 12 juin 2026
Licence: Apache License 2.0
Guide de contribution: Guide de contribution
Code de conduite: Aucun code de conduite
Langage principal: Lean
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.