CTAN Comprehensive TeX Archive Network

ribbonproofs – Drawing ribbon proofs

The package provides a way to draw “ribbon proofs” in .

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.

Sources/macros/latex/contrib/ribbonproofs
Documentation
Version1.0
LicensesThe Project Public License 1.3
MaintainerJohn Wickerson
Contained inTeX Live as ribbonproofs
MiKTeX as ribbonproofs
TopicsProof

Download the contents of this package in one zip archive (337.6k).

Community Comments

Loading...

Announcements

Here you can see a respective diagram in newer browsers.

more

Guest Book Sitemap Contact Contact Author