name ribbonproofs
category Package
revision 31137
shortdesc Drawing ribbon proofs.
relocated 1
longdesc The package provides a way to draw "ribbon proofs" in LaTeX. A
longdesc ribbon proof is a diagrammatic representation of a mathematical
longdesc proof that a computer program meets its specification. These
longdesc diagrams are more human-readable, more scalable, and more
longdesc easily modified than the corresponding textual proofs.
runfiles size=14
 RELOC/tex/latex/ribbonproofs/ribbonproofs.sty
catalogue-ctan /macros/latex/contrib/ribbonproofs
catalogue-date 2014-02-26 23:03:13 +0100
catalogue-license lppl1.3
catalogue-version 1.0