Index of /tex-archive/macros/latex/contrib/ribbonproofs

	Name	Last modified	Size	Description
	Parent Directory		-
	README	06-Jul-2013 21:05	522
	ribbonproofs.sty	08-Jul-2013 06:12	54K
	ribbonproofsmanual.pdf	01-Jul-2013 11:39	328K
	ribbonproofsmanual.tex	01-Jul-2013 11: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.