Announcements for ribbonproofs

2013-07-09 new on CTAN: ribbonproofs

ribbonproofs – Drawing ribbon proofs

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.

Package	ribbonproofs
Version	1.0
Maintainer	John Wickerson

Atom Atom 1.0 feed with announcements for package ribbonproofs.
RSS RSS 2.0 feed with announcements for package ribbonproofs.