|Index of /macros/latex2e/contrib/ribbonproofs|
Name Last modified Size Description
Parent Directory 07-Dec-2019 05:17 - ribbonproofs.sty 08-Jul-2013 15:12 54k ribbonproofsmanual.pdf 01-Jul-2013 20:39 328k 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.