argumentcomputer/LSpec
A Testing Framework for Lean
argumentcomputer/LSpec est-il accessible aux débutants ?
Nous avons vu trop peu de pull requests récentes de contributeurs externes sur argumentcomputer/LSpec pour dire à quelle fréquence elles sont fusionnées. Aucune issue accessible aux débutants n'est ouverte pour l'instant ; la liste ci-dessous montre les autres issues que nous avons pour ce dépôt.
- Étoiles
- 86
- Forks
- 18
- Issues débutants ouvertes
- 0
- Issues indexées
- 1
- Merge moyen
- 8 j 17 h
- PR mergées (30 j)
- 1
- Langage dominant
- Lean
- Licence
- MIT
- Dernier push GitHub
- 23/9/2026
- Dernière indexation
- 14/9/2026
- Guide de contribution
- Aucun guide de contribution
- Code de conduite
- Aucun code de conduite
- Labels débutants
- Aucun label débutant indexé
Comment contribuer à argumentcomputer/LSpec
- Il n'y a pas de guide de contribution : partez du README et de quelques pull requests fusionnées récemment pour voir comment les changements sont proposés.
- Vos contributions seront publiées sous la licence MIT du projet.
- Suivez le dépôt pour savoir quand une nouvelle issue accessible aux débutants s'ouvre, ou parcourez les autres issues ci-dessous.
Chargement des issues
Les issues sur lesquelles quelqu’un travaille peut-être déjà sont listées en dernier. Tout trier par date
-
Recover from tests that loopOuvertebug enhancement
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100
argumentcomputer/LSpec#26 ·