Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
