Salvatore Mercuri - A bottom-up approach to formalisation in the FLT project (Lean Together 2026)

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

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

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

Przedwojenna Kronika lat 30 – Odcinek I

Я Построил 10 Школ По Всему Миру

ZIEMKIEWICZ: Żurek chciał zabetonować KRS! Prezydent uratował sądy przed chaosem?

Meissner & Walkowski - Kreml obawia się polskich zbrojeń i to widać!

Сенсация века: Андромеда уже начала столкновение с Млечным Путём

Harry Goldstein - Metaprogramming the Next Generation of Testing Tools (Lean Together 2026)

REFERENDUM w sprawie sądownictwa? Co zrobi Prezydent NAWROCKI? | Salonik Ziemkiewicza cz. 2

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

María Inés de Frutos Fernández - the universal divided power algebra (Lean Together 2026)

Dlaczego Polska odrzuciła Abramsy i zamówiła tysiąc czołgów z Korei?

Zajazd Polskie Drogi - to miał być najlepszy schabowy? po Kuchennych Rewolucjach/ Oddaszfartucha

Leopoldo Sarra - autoformalization for physics and engineering with Lean (Lean Together 2026)

Największy atak Rosji kończy się upadkiem. Setki czołgów utknęły, kryzys paliwowy uderza we front

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

Express Republiki 21.02.2026 | TV Republika

1W-MINDS, Jan. 29: Akram Aldroubi (Vanderbilt University), Dynamical sampling: source term recov...

Chris Henson - Locally Nameless Lambda Calculi (Lean Together 2026)