# new on CTAN: ribbonproofs

Date: July 9, 2013 4:38:43 PM CEST

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

## 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 |