package

bussproofs

Description

Proof trees in the style of the sequent calculus.

This package cannot be installed or used directly. Please use texlive.withPackages (ps: [ ps.bussproofs ]).

Metadata

Version

1.1

License

Status

Source

pkgs/tools/typesetting/tex/texlive/build-texlive-package.nix:75

Platforms (77)

Darwin

FreeBSD

Genode

GHCJS

Linux

MMIXware

NetBSD

none

OpenBSD

Redox

Solaris

WASI

Windows

Show all