Słownik pojęć
Mathlib
Definicja, znaczenie i użycie terminu w kontekście publikacji.
Wspólne repozytorium sformalizowanej matematyki wykorzystywane przez użytkowników języka Lean.
Mathlib gromadzi zapisane komputerowo definicje, twierdzenia i dowody, które mogą być ponownie wykorzystywane w kolejnych pracach matematycznych.