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