Version:
1.0
Copyright:
License:
lppl1.3
Packaged on:
7/9/2013 8:00:01 PM
Number of files:
5
Size on disk:
392.53 kB

The 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.