Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

texlive-ribbonproofs-31137-1 RPM for noarch

From OpenMandriva Cooker for x86_64 / main / release

Name: texlive-ribbonproofs Distribution: OpenMandriva Lx
Version: 31137 Vendor: OpenMandriva
Release: 1 Build date: Mon Nov 14 18:54:27 2022
Group: Publishing Build host: ryzen9-4.openmandriva.org
Size: 429066 Source RPM: texlive-ribbonproofs-31137-1.src.rpm
Packager: bero <bero@lindev.ch>
Url: http://www.ctan.org/tex-archive/macros/latex/contrib/ribbonproofs
Summary: 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.

Provides

Requires

License

LPPL1.3

Files

/usr/share/texmf-dist/doc/latex/ribbonproofs/README
/usr/share/texmf-dist/doc/latex/ribbonproofs/ribbonproofsmanual.pdf
/usr/share/texmf-dist/doc/latex/ribbonproofs/ribbonproofsmanual.tex
/usr/share/texmf-dist/tex/latex/ribbonproofs/ribbonproofs.sty

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Jan 31 23:03:28 2025