MSRI- Formalization of Mathematics (SLMath)

• «
• 1
• 2
• »

21. Title:
    Formalizing Sphere Eversion
    
    
    Speaker:
    Patrick Massot
    
    
    Link:
    https://www.msri.org/summer_schools/1021/schedules/33483
    
    

• «
• 1
• 2
• »