Divulgação de Lean, por Adolfo Neto

Primeira entrevista com Leonardo de Moura: Raciocínio Automatizado, com Leonardo de Moura (criador de Lean e Z3)

Essa foi minha primeira entrevista com Leonardo de Moura, que teve muitas visualizações porque o Fabio Akita colocou um print da thumb em um vídeo dele: 16 Linguagens em 16 Dias: Minha Saga da Rinha de Backend.

Está também no Spotify e demais aplicativos de podcasts.

Foi publicado no Professor Adolfo Neto.

Segunda entrevista com Leonardo de Moura, no Fronteiras da Engenharia de Software

A ideia deste episódio foi focar mais em Lean como software, como linguagem de programação e como pode ajudar pessoas desenvolvedoras de software.

A página do episódio tem vários links: Lean e Verificação de Software, com Leonardo de Moura (AWS)

Episódios sobre Lean no Elixir em Foco

Esquenta SE4FP: A linguagem de programação funcional e provador de teoremas Lean com Sofia Rodrigues

32: A linguagem de programação Lean, com Algebraic Sofia e Algebraic Gabi

Sofia hoje (23/10/2026) trabalha na Lean FRO.

Vídeos em português sobre Lean

Playlist ‘Aprenda Lean’

Vídeos em inglês sobre Lean

Playlist ‘Functional Programming with Lean’ no YouTube.

Recursos da comunidade brasileira de Lean

Lean Brasil - Grupo de pessoas interessadas na linguagem de programação Lean https://t.me/leanlangbr