Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Lean-HoG: Incorporating a Database of Graphs into a Proof Assistant

Hausdorff Center for Mathematics via YouTube

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore the integration of a graph database into a proof assistant through this 36-minute conference talk. Discover how Katja Bercic and Jure Taslak present Lean-HoG, a project that combines the power of graph theory with automated theorem proving. Learn about the challenges and benefits of incorporating a comprehensive database of graphs into the Lean proof assistant, and gain insights into how this approach can enhance mathematical reasoning and problem-solving capabilities in formal verification systems.

Syllabus

Katja Bercic / Jure Taslak: Lean-HoG: Incorporating a database of graphs into a proof assistant

Taught by

Hausdorff Center for Mathematics

Reviews

Start your review of Lean-HoG: Incorporating a Database of Graphs into a Proof Assistant

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.