Lean-HoG: Incorporating a Database of Graphs into a Proof Assistant
Offered By: Hausdorff Center for Mathematics via YouTube
Course Description
Overview
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
Related Courses
SPARK 2014AdaCore via Independent Automated Reasoning: Symbolic Model Checking
EIT Digital via Coursera Software Testing and Verification
University System of Maryland via edX Haskell for Imperative Programmers
YouTube Model Checking and Temporal Logic - E. Allen Emerson's Turing Award Lecture
Association for Computing Machinery (ACM) via YouTube