This package browser is in early development. Mind the rough edges.

texlive-synproof 66594

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.


Install texlive-synproof 66594 as follows:

guix install texlive-synproof@66594

Or install the latest version:

guix install texlive-synproof

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.