Views
24 000
Creator of Lean: Handwritten Math Will Change Dramatically | Leonardo de Moura
RYAN PETERMAN
· AUG 16, 2026
This YouTube video has 24 000 views and was published Aug 16, 2026 on Ryan Peterman. That is 0.3x the channel's average views.
Likes
—
Comments
—
Like rate
—
▸ Vs channel average
-68%
This video is at 0.3x the channel's average views.
LAST 13 UPLOADS · ■ THIS VIDEO
Ryan Peterman
More from this channel
Creator of Lua: Top 3 Languages Every Engineer Should Learn in 2026 | Roberto Ierusalimschy
Creator of Lua: You Can Interpret C And Compile Python | Roberto Ierusalimschy
Creator of Scala: Comparing Languages And How AI Will Impact Them | Martin Odersky
Sergey Levine: Humanoid Robotics Results, Chinese Labs & Future Timelines