A Formalization Experiment - Sophie Morel

(1:9:16)

Sophie Morel - Intersection cohomology of Shimura varieties and pizza

(1:13:53)

Sophie Morel - 2/3 Shimura Varieties

(1:7:29)

Morel hiIntersection cohomology is useless - Sophie Morel

(1:2:52)

Researcher Profile: Sophie Morel

(3:45)

Sophie Morel - Shimura Varieties (3/3)

(1:4:6)

Sophie Morel - 1/3 Shimura Varieties

(1:7:42)

The Weil Conjectures, from Abel to Deligne - Sophie Morel

(1:3:5)

Lean Together 2024: Sophie Morel, Formalising Grassmannians in Lean

(28:50)

# Add1Challenge : Learning Azerbaijani in 90 days

(2:1econd)

Lie Algebras and Homotopy Theory - Jacob Lurie

(1:59)

Edward Witten - What are Breakthroughs in Science?

(12:30)