# Announcements for 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.