new on CTAN: ribbonproofs

CTAN Announcements ctan-ann at
Tue Jul 9 17:38:43 CEST 2013

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
> or they may browse the package directory at

Robin Fairbairns

For the CTAN team

More information about the Ctan-ann mailing list