this should
Ouverte
Personne n'a encore pris cette issue.
- Langage dominant
- Lean
- Étoiles
- 709
- Forks
- 200
- Merge moyen
- 3 j 6 h
- PR mergées (30 j)
- 45
Description
Guide de contribution
Ouvrir le guide de contribution
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Piste de recherche
Ouvrez Cslib/Logics/Propositional/Defs.lean à la ligne indiquée par le lien et examinez les définitions environnantes ainsi que les conventions du projet. L’issue ne précise pas ce qui doit être modifié ni comment vérifier que le travail est terminé ; clarifiez donc le comportement attendu avant de commencer l’implémentation.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Évaluation
- Domaine
- tooling
- Type d'issue
- Refactorisation
- Difficulté
- 3/5
- Temps estimé
- 1-2 jours
- Activité
- Calme
- Clarté
- À clarifier
- Accessibilité débutants
- 25/100