Drawing ribbon proofs
The package provides a way to draw ribbon proofs in LaTeX, a graphical proof system for the propositional fragment of the logic of bunched implications.
- Website: https://ctan.org/pkg/ribbonproofs
- Licenses: LPPL 1.3+
- Package source: gnu/packages/tex.scm
- Builds: See build status
- Issues: See known issues
texlive-ribbonproofs 66594 as follows:
guix install texlive-ribbonproofs@66594
Or install the latest version:
guix install texlive-ribbonproofs
You can also install packages in augmented, pure or containerized environments for development or simply to try them out without polluting your user profile. See the
guix shell documentation for more information.