quoth the daemon:
The following information was provided by the package's contributor.
Name of contribution: ribbonproofs Author's name: John Wickerson Package version: 1.0 Location on CTAN: / Summary description: Drawing ribbon proofs License type: lppl
Announcement text given by the package's contributor:
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.
Announcement required: Yes
thanks for the upload; i've installed the new version, and updated the catalogue repository.
Users may view the package catalogue entry at http://www.ctan.org/pkg/ribbonproofs or they may browse the package directory at http://mirror.ctan.org//
Robin Fairbairns
For the CTAN team