# Agent-Based Proof Design via Lemma Flow Diagram

3 Feb 2020

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... (read more)

PDF Abstract

# Code Add Remove Mark official

No code implementations yet. Submit your code now