texlive-ribbonproofs

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.

Versions: 2024.2
Website: https://ctan.org/pkg/ribbonproofs
Licenses: LPPL 1.3+
Package source: gnu/packages/tex.scm
Builds: See build status
Issues: See known issues

Installation

Install the latest version of texlive-ribbonproofs as follows:

guix install texlive-ribbonproofs

Or install a particular version:

guix install texlive-ribbonproofs@2024.2

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.

Badge code

HTML: <a href='http://127.0.0.1:3000/packages/texlive-ribbonproofs/'><img src='http://127.0.0.1:3000/packages/texlive-ribbonproofs/badges/latest-version.svg'></img></a>
Markdown: [![GNU Guix](http://127.0.0.1:3000/packages/texlive-ribbonproofs/badges/latest-version.svg)](http://127.0.0.1:3000/packages/texlive-ribbonproofs/)
Org: [[http://127.0.0.1:3000/packages/texlive-ribbonproofs/][http://127.0.0.1:3000/packages/texlive-ribbonproofs/badges/latest-version.svg]]