new on CTAN: ribbonproofs

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