texlive-ribbonproofs - Drawing ribbon proofs
| Website: | http://tug.org/texlive/ |
|---|---|
| License: | LPPL 1.3 |
| Vendor: | Alcance Libre, Inc. |
- Description:
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.
Packages
| texlive-ribbonproofs-svn31137.1.0-46.fc14.al.noarch [60 KiB] |
Changelog
by Tom Callaway (2021-09-09):
- add Requires: texlive-epstopdf to texlive-epstopdf-pkg (bz2002690) |