package

ebproof

Description

Formal proofs in the style of sequent calculus.

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

Metadata

Version

2.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