texlive-ribbonproofs Subpackage of texlive
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.
Releases Overview
| Release | Stable | Testing |
|---|---|---|
| Fedora Rawhide | svn31137.1.0-48.fc36 | - |
| Fedora 35 | svn31137.1.0-45.fc35 | - |
| Fedora 34 | svn31137.1.0-38.fc34 | - |
Package Info
Related Packages
- Upstream: http://tug.org/texlive/
- License(s): LPPL 1.3
- Maintainers: jnovy, spot, than
Related Packages
You can contact the maintainers of this package via email at
texlive dash maintainers at fedoraproject dot org.
Sources on Pagure