Writing a small program with input and output in the Lean functional programming language

An introduction to Lean 4, a functional programming language

Lean4 and the Curry-Howard Isomorphism (Luis Wirth)

Typst: Современная замена Word и LaTeX, которую ждали 40 лет

Metaprograms and Proofs: Macros in Lean 4 (twelfth RacketCon)

Getting Started with Lean Programming Language in Visual Studio Code

How Senior Programmers ACTUALLY Write Code

Я ненавижу длинные цепочки If-Elif: этот шаблон проектирования решил эту проблему раз и навсегда

Я в опасности

Превращение старого ноутбука в домашний сервер! (2026)

Но что такое нейронная сеть? | Глава 1. Глубокое обучение

У меня ушло 10+ лет, чтобы понять то, что я расскажу за 11 минут

Самые частые вопросы про программирование Часть 1

Хватит позориться такими If-Else! Это выдает в тебе новичка!

Где начало СХЕМЫ? Понимаем, читаем, изучаем схемы. Понятное объяснение!

Advent of Code 2024: Solving Day 1 with Elixir and ChatGPT! 🚀 #Elixir #ChatGPT

RUST: Язык Программирования, Который ЗАМЕНИТ C и C++?

Алгоритмы на Python 3. Лекция №1

Программирование с использованием математики | Лямбда-исчисление

Learning Lean in the Age of Artificial Intelligence