Index of /ctan/macros/latex/contrib/ribbonproofs/

Name	Last Modified	Size	Type
../		-	Directory
README	2013-Jul-06 20:05:11	0.5K	text/plain;charset=utf-8
ribbonproofs.sty	2013-Jul-08 05:12:20	54.2K	application/octet-stream
ribbonproofsmanual.pdf	2013-Jul-01 10:39:21	327.8K	application/pdf
ribbonproofsmanual.tex	2013-Jul-01 10:38:28	36.4K	application/x-tex

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.

panini/0.0.8 us-west-1 b156048a-bcf3-4b4f-96ed-31e873bb3711