Lean Together 2025: Abdalrhman Mohamed, lean-SMT

(28:25)

Lean Together 2025: Siddhartha Gadgil, Real world Autoformalization

(26:52)

Lean Together 2025: David Renshaw, Searching for Proof Improvements with tryAtEachStep

(24:55)

Lean Together 2025: Xavier Généreux and Jannis Limperg, Efficient Forward Reasoning for Aesop

(24:54)

HAWKS POSTCAST: Desperate Atlanta Hawks Lean On Availability Versus Red Hot Houston Rockets

(32:7)

Lean Together 2025: The Lean FRO, The Lean FRO Year 2 Roadmap and Vision

(59:4)

#LeanInTogether: Together Women Can...

(1:37)

Lean in Together: Sheryl Sandberg Campaigns with NBA

(3:14)

Lean Together 2025: Jack McKoen, Toward functor quasi-categories in Lean

(22:33)

Lean Together 2024: Sebastian Ullrich, Are we fast yet?

(28:36)

Lean Together 2021: Panel on teaching with proof assistants

(1:27:46)

Lean Together 2025: Oliver Nash, Root systems and root data in Mathlib

(29:54)

Lean Together 2021: Model Theory in Lean

(17:49)

Lean Together 2025: Jason Rute, The last mile

(24:37)

Lean Together 2025: Vlad Tsyrklevich and Daniel Weber, The Equational Theories Project

(47:59)

Lean on Me - ArtistsCAN (Official Video)

(4:54)