0:00

Leonardo de Moura - Verified Collaboration: How Lean is Transforming Math...(March 12, 2025)

Name: Leonardo de Moura - Verified Collaboration: How Lean is Transforming Math...(March 12, 2025)
Uploaded: 2026-06-04T07:47:41.134Z
Channel: Simons Foundation
Description: Download Leonardo de Moura - Verified Collaboration: How Lean is Transforming Math...(March 12, 2025) from YouTube as MP3 or MP4 for free on TubeGalore.

Simons Foundation

🎤 More from Leonardo de Moura

0 views

Recently

📥 Download Options

Select Format:

Free download • No registration required • High quality

Leonardo de Moura - Verified Collaboration: How Lean is Transforming Math...(March 12, 2025)

📥 Download Options

🔥 Related Videos