this should
Offen
Dieses Issue hat noch niemand übernommen.
- Vorherrschende Sprache
- Lean
- Sterne
- 709
- Forks
- 200
- Ø Merge
- 3 T. 6 Std.
- Gemergte PRs (30 T.)
- 45
Beschreibung
Beitragsleitfaden
Erste Schritte
- Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
- Forke das Repository und arbeite in einem Branch.
- Öffne einen Pull Request, der die Issue-Nummer nennt.
Rechercherichtung
Öffne Cslib/Logics/Propositional/Defs.lean an der verlinkten Zeile und prüfe die umgebenden Definitionen sowie die Konventionen des Projekts. Das Issue gibt nicht an, was geändert werden sollte oder wie die Fertigstellung überprüft werden soll; kläre daher das beabsichtigte Verhalten, bevor du mit der Implementierung beginnst.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Bereich
- tooling
- Issue-Typ
- Refactoring
- Schwierigkeit
- 3/5
- Geschätzter Aufwand
- 1-2 Tage
- Aktivitätsstatus
- Ruhig
- Klarheit
- Muss geklärt werden
- Anfängerfreundlichkeit
- 25/100