English translation is not available yet. Showing Russian content.
Lean
Lean
Определение
Интерактивный доказатель теорем и язык программирования для формальной верификации. Используется совместно с LLM для генерации кода с формальными доказательствами корректности.