texlive-synproof 2024.2

Easy drawing of syntactic proofs

The package provides a set of macros based on PSTricks that will enable you to draw syntactic proofs easily (inspired by the Gamut books). Very few commands are needed, however fine tuning of the various parameters (dimensions) can still be achieved through key=value pairs.

Outputs: doc, out
Website: https://ctan.org/pkg/synproof
Licenses: LPPL (any version)
Package source: gnu/packages/tex.scm
Builds: See build status
Issues: See known issues

Installation

Install texlive-synproof 2024.2 as follows:

guix install texlive-synproof@2024.2

Or install the latest version:

guix install texlive-synproof

The texlive-synproof package provides more outputs besides the default (out). You can install them by appending :output-name to the package specification. For example:

guix install texlive-synproof:doc

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.