Alex Kontorovich - Teaching Real Analysis as a Video Game (Lean Together 2026)

Похожие видео

Leo de Moura - The State of Lean (Lean Together 2026)

David Ledvinka - Formalization of Brownian Motion in Lean (Lean Together 2026)

Why NUCLEAR ROCKETS Sound Easy… Until Physics Shows Up - Feynman’s Warning

Alex Best - Aristotle, an AI theorem prover using Lean (Lean Together 2026)

What was Euclid really doing? | Guest video by Ben Syversen

Oliver Dressler - lean-lsp-mcp: Tools for agentic interaction with Lean (Lean Together 2026)

2026 MIT Integration Bee - Finals

Белорусская эквилибристика. Кто не пустил Лукашенко в Вашингтон

НОВАЯ МОБИЛИЗАЦИЯ? Аббас ГАЛЛЯМОВ про планы Путина с войной в Украине

We still don't understand magnetism

Последнее условие для начала новой мобилизации. Дмитрий Орешкин

США теряют трон. Конец низкопоклонства уже близок. Россия строит новый мир.

OpenAI is Suddenly in Trouble

Способ увидеть невидимое: как создают суперлинзы из оптических метаматериалов

Почему Питер Шольце — математик, каких бывает раз в поколение?

Sebastian Ullrich - The Lean module system (Lean Together 2026)

How 1999 Quake 3 Teaches Elite Software Engineering

Как PostgreSQL может сделать больно, когда не ожидаешь — Михаил Жилин

Гипотеза Римана, объяснение

The Strange Math That Predicts (Almost) Anything