Agent-Based Proof Design via Lemma Flow Diagram

MaRDI QIDQ6334024zbMATH OpenFDO

Authors Keehang Kwon, Daeseong Kang

Publication date 3 February 2020

Abstract: We discuss an agent-based approach to proof design and implementation, which we call {it Lemma Flow Diagram} (LFD). This approach is based on the multicut rule with $shared$ cuts. This approach is modular and easy to use, read and automate. Thus, we consider LFD an appealing alternative to `flow proof' which is popular in mathematical education. Some examples are provided.

This page was built for publication: Agent-Based Proof Design via Lemma Flow Diagram

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6334024)