«Бережливый язык программирования: полное руководство по доказательствам, программированию и математике»
Узнайте, что делает Lean уникальным: программирование, математика, доказательства и интеграция ИИ. Поймите, как Lean меняет верификацию и образование.