YoVDO

Automating Reasoning in Cubical Type Theory

Offered By: Hausdorff Center for Mathematics via YouTube

Tags

Formal Verification Courses Homotopy Type Theory Courses Dependent Types Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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 Scala
Stepik A Little Taste of Dependent Types
Strange Loop Conference via YouTube A Taste of Type Theory
GOTO Conferences via YouTube A Type-Theoretic Framework for Certified Meta-programming
Hausdorff Center for Mathematics via YouTube Bulletproof Python - Writing Fewer Tests with a Typed Code Base
EuroPython Conference via YouTube