Automating Reasoning in Cubical Type Theory
Offered By: Hausdorff Center for Mathematics via YouTube
Course Description
Overview
Explore the cutting-edge research on automating reasoning in cubical type theory presented by Maximilian Doré in this 47-minute lecture from the Hausdorff Center for Mathematics. Delve into the complexities of cubical type theory and discover innovative approaches to automating logical reasoning within this framework. Gain insights into the potential applications and implications of this research for advancing computational mathematics and formal verification techniques.
Syllabus
Maximilian Doré: Automating Reasoning in Cubical Type Theory
Taught by
Hausdorff Center for Mathematics
Related Courses
Introduction to programming with dependent types in ScalaStepik Georges Gonthier - Computer Proofs - Teaching Computers Mathematics, and Conversely
International Mathematical Union via YouTube A Fibrational Framework for Modal Dependent Type Theories
Hausdorff Center for Mathematics via YouTube A Fibrational Framework for Modal Simple Type Theories
Hausdorff Center for Mathematics via YouTube Discrete and Codiscrete Modalities in Cohesive HoTT
Hausdorff Center for Mathematics via YouTube