CTAN Comprehensive TeX Archive Network

Announcements for ribbonproofs

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.

Packageribbonproofs
Version1.0
MaintainerJohn Wickerson

Atom Atom 1.0 feed with announcements for package ribbonproofs.
RSS RSS 2.0 feed with announcements for package ribbonproofs.

Guest Book Sitemap Contact Contact Author