Two years later, experts and enthusiasts are gathering at Mittag-Leffler for “Formalizing Higher Categories.” 🌍

Excited to see what comes out! ✨

www.linkedin.com/posts/nimara...

#HigherCategories #Formalization #FormalMath #Conference

(2/2)

✨ Conference wrap-up! ✨

This week we gathered at the Mittag-Leffler Institute for Formalizing Higher Categories — a wonderful week of math, formalization, proof assistants, and collaboration. 🧠💻🚀

#HigherCategories #Formalization #ProofAssistants #AIForMath #CategoryTheory

(1/3)

You can find more details about the event in this LinkedIn Post:

🔗 www.linkedin.com/posts/nimara...