Lean-Dokumentation

Alles, was du über die Nutzung von Lean auf Exercism wissen musst.

Entdecke unsere Dokumentation zu Lean und erfahre alles, was du wissen musst, um das Beste aus deiner Zeit mit Lean auf Exercism zu machen: von der Installation von Lean über das Ausführen der Tests und das Lernen der Sprache bis hin zu nützlichen Ressourcen.