Index of /macros/latex2e/contrib/ribbonproofs
      Name                    Last modified       Size  Description

[DIR] Parent Directory 07-Dec-2019 05:17 - [TXT] ribbonproofs.sty 08-Jul-2013 15:12 54k [   ] ribbonproofsmanual.pdf 01-Jul-2013 20:39 328k [TXT] ribbonproofsmanual.tex 01-Jul-2013 20:38 36k

The ribbonproofs package provides a way to draw "ribbon proofs" in LaTeX. 

A ribbon proof is a diagrammatic representation of a mathematical proof that a computer program meets its specification. These diagrams are more human-readable, more scalable, and more easily modified than the corresponding textual proofs. Ribbon proofs were introduced by John Wickerson, Mike Dodds and Matthew Parkinson in a paper entitled "Ribbon Proofs for Separation Logic" and presented at the European Symposium on Programming (ESOP) 2013.