"The original motivation for creating Lean was software verification" Leonardo de Moura #LeanLang
2:51
"The original motivation for creating Lean was software verification" Leonardo de Moura #LeanLang
1.5K viewsMay 18, 2025
YouTubeElixir, Erlang, the BEAM (and Lean)
Lean's creator: a Collatz 'disproof' he believes AI built exploited 2 kernel bugs
0:53
Lean's creator: a Collatz 'disproof' he believes AI built exploited 2 kernel bugs
3 weeks ago
YouTubeMake Wavs Media
Lean creator Leo de Moura: a likely AI exploit beat two checkers
0:27
Lean creator Leo de Moura: a likely AI exploit beat two checkers
3 weeks ago
YouTubeMaybe Worth Building
Quando a pessoa nunca viu um cavalo, mas o look tá pronto! 👢
0:15
Quando a pessoa nunca viu um cavalo, mas o look tá pronto! 👢
2 views4 months ago
YouTubeLeonardo Moura
#Leonardo in Rolim De Moura|RO
0:58
#Leonardo in Rolim De Moura|RO
6.3K views2 months ago
YouTubeLeonardo
Leonardo Moura's son was released. #flamengo #flamengosempre #futebol
1:02
Leonardo Moura's son was released. #flamengo #flamengosempre #futebol
15.6K views7 months ago
YouTubeCanal FlaGonçalo
Leandro Freitas e Léo Moura se rendem a Neymar: “Não dá pra entender a genialidade do cara!” 🤯⚽
2:07
Leandro Freitas e Léo Moura se rendem a Neymar: “Não dá pra entender a genialidade do cara!” 🤯⚽
4.2K views2 months ago
YouTubeESPORTE SANTÁSTICO
0:47
Former Flamengo player Léo Moura comments on fan criticism regarding his near move to Vasco.
12.6K views7 months ago
YouTubeESPN Brasil
0:41
Léo Moura comments on the lack of opportunities in the Brazilian national team and says he would ...
5.7K views7 months ago
YouTubeESPN Brasil
1:00
Léo Moura is honest about the final against Real Madrid. #realmadrid #gremio #fifaclubworldcup #c...
15.9K views3 months ago
YouTubeCORTES FUT
1:10
Who sits at the table with Flamengo's idols? Léo Moura made his selection 👀
20.1K views7 months ago
YouTubeESPN Brasil
0:39
WHO PLAYED BETTER? Léo Moura chose which of several right-backs plays best.
120.7K views7 months ago
YouTubeESPN Brasil
1:01
Leo Moura: O Ídolo do Flamengo - Destaques e Homenagens
786.4K viewsSep 8, 2024
TikTokapoiofla
0:06
LÉO MOURA REVELA DESEJO DE TER CONQUISTADO A LIBERTADORES PELO FLAMENGO 🔴⚫🏆
50K views1 month ago
YouTubeLINEFUT
1:44
AULA ESPECIAL - Segredos do Agachamento Sumô e Glúteos Empinados
892.9K viewsJun 3, 2024
TikTokleomouratreinador
Léo Moura e o Depoimento sobre Bruno: Uma Recordação Impactante
533.5K viewsApr 19, 2025
TikTokopinioesdosergio
1:35
Erros Comuns na Cadeira Extensora e Como Evitá-los
626.2K viewsJul 19, 2024
TikTokleomouratreinador
0:57
A Rivalidade Entre Flamengo e Fluminense na Família Moura
669.6K viewsApr 23, 2024
TikToklancedigital
1:32
Faz tempo que você não vê resultado no seu corpo? Semanas? Meses? Anos? Saiba que a Culpa NÃO é sua!! As academias não estão preocupadas com o seu resultado. Elas se preocupam apenas com a sua mensalidade! Por isso a grande maioria contrata somente o professor mais barato, porque pra eles tanto faz. Então você precisa parar de ser refem de profissionais ruins e realmente ir em busca do que você merece: Um corpo sem gordura e definido. É exatamente isso que vai acontecer com o seu corpo em menos
524.6K viewsJun 24, 2024
TikTokleomouratreinador
1:00
Léo Moura: O Que Ele Faria no Flamengo Hoje?
132.3K views8 months ago
TikTokwaarlleyjr
See more
Static thumbnail place holder

Short videos

2:26
Eagles - Twenty One 1974 DKRC
54.9K viewsJan 27, 2011
YouTubeeaglesascountryrock
2:10
Twenty-One (2013 Remaster)
1.1M viewsNov 6, 2014
YouTubeEagles - Topic
2:10
Twenty-One (2013 Remaster)
209.1K viewsNov 1, 2018
YouTubeEagles - Topic
2:21
Eagles - twenty one - live on DKRC 1974
6.8K viewsJun 2, 2018
YouTubeJoke Hoogendijk
2:22
Eagles - Twenty One - Don Kirshner's 1974
289 viewsApr 19, 2017
DailymotionJuana Vaina
5:52
EAGLES JAM 🦅 | Twenty-One and Done? | Eagles vs. Cowboys | Monday Night
1 views5 days ago
YouTubeFUZIN CONCEPTS
2:23
The Eagles Twenty One
119.5K viewsApr 18, 2009
YouTubeprimoz5
2:19
Eagles - Twenty-one (Lyrics) live, [HQ]
4.4K viewsDec 8, 2019
YouTubeLyrics Park
7:20
The Boys Who Refused to Hate Each Other
2 days ago
YouTubeWhy We Do That
58:53
Brandon Graham on STRUGGLING Eagles Defense, Whether Howie
200 views4 days ago
YouTubeBrandon Graham Unblocked
3:53
twenty one pilots - Fall Away (feat. Dr. Blum of MisterWives) [Live]
8M viewsOct 7, 2014
YouTubetwenty one pilots
COWBOYS BEAT EAGLES 38-21: Did Dallas Turn a Corner?
2K views6 days ago
YouTubeDLLS Sports
14:24
Top 10 Eagles Songs
8.2M viewsApr 18, 2015
YouTubeWatchMojo.com
35:44
Eagles - Desperado (Full Album)
110.4K views6 months ago
YouTubeEagles
3:48
Eagles - One Of These Nights (Through The Years - Official Video)
3.8M views5 months ago
YouTubeEagles
3:53
One of These Nights (Live at The Forum, Los Angeles, CA, 10/20-22/1976)
1M viewsNov 23, 2017
YouTubeEagles - Topic
4:24
One of These Nights (Live From the Forum, Inglewood, CA, 9/12, 14, 15/2018)
504.9K viewsOct 15, 2020
YouTubeEagles - Topic
3:59
Visions (2026 Remaster)
2K views6 months ago
YouTubeEagles - Topic
1:13:40
The Climb: Reliving the ENTIRE Eagles 2024 season!
161.5K viewsJul 13, 2025
YouTubeThe Philly Special Show
14:15
Don Felder wrote Hotel California's music, and the Eagles FIRED him with a letter
4 days ago
YouTubeRock Star Stories
Static thumbnail place holder