ribbonproofs
Drawing ribbon proofs.
- Version:
- 1.0
- Copyright:
- License:
- lppl1.3
- Packaged on:
- 07/09/2013 20:00:01
- Number of files:
- 5
- Size on disk:
- 392.53 kB
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.