Słownik pojęć
Lean
Definicja, znaczenie i użycie terminu w kontekście publikacji.
Język programowania i system używany do zapisywania oraz formalnego sprawdzania dowodów matematycznych.
Lean pozwala przedstawiać twierdzenia i dowody w postaci, którą komputer może weryfikować na podstawie zdefiniowanych reguł oraz aksjomatów.