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.
- Website: https://ctan.org/pkg/synproof
- Licenses: LPPL (any version)
- Package source: gnu/packages/tex.scm
- Builds: See build status
- Issues: See known issues
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.