Mathlib

Определение

Математическая библиотека языка Lean, используемая для обучения моделей формальной верификации и code generation с доказательствами.