ProofFlow: Flow Diagrams for Proofs

Steven A. Kieffer

We present a light formalism for proofs that encodes their inferential structure, along with a system that transforms these representations into flow-chart diagrams. Such diagrams…