Discovering Computable Homotopy Theory: Insights from Andrew Swan at Leuven Workshop 🌐

Join experts like Andrew Swan at the Leuven Workshop (April 2-4, 2024) to explore the latest advances in computable homotopy theory and Univalent Foundations. Don't miss this opportunity to deepen your understanding of modern mathematical foundations!