Словарь
Mathlib
Открытая библиотека формализованной математики для системы доказательства теорем Lean, которую развивает сообщество. Все определения и теоремы в ней проверены компьютером. Библиотеку используют математики, преподаватели и разработчики ИИ, которые учат модели доказывать теоремы.