package

logicproof

Description

Box proofs for propositional and predicate logic.

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

Metadata

Version

33254

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