Search Results for author:
Found 1 papers, 0 papers with code
Agent-Based Proof Design via Lemma Flow Diagram
We discuss an agent-based approach to proof design and implementation, which we call {\it Lemma Flow Diagram} (LFD).
Cannot find the paper you are looking for? You can
Submit a new open access paper.
