BSD Ports

print/tex-ebproof 2.1.1 NetBSD

Formal proofs in the style of sequent calculus

System
NetBSD
Repository
pkgsrc
Maintainer
[email protected]
License
lppl-1.3c
Categories
print
Package size
7.0 KiB, 19.1 KiB installed

Description

This package provides commands to typeset proof trees in the style of sequent calculus and related systems. The commands allow for writing inferences with any number of premises and alignment of successive formulas on an arbitrary point. Various options allow complete control over spacing, styles of inference rules, placement of labels, etc. The package requires expl3 and xparse.

Install

Binary package:

pkgin install tex-ebproof

From pkgsrc:

cd /usr/pkgsrc/print/tex-ebproof && make install clean

Packages

The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.

RepositoryVersion
NetBSD 10.1 x86_642.1.1
NetBSD 10.1 aarch642.1.1
SmartOS / illumos x86_642.1.1
macOS 15 arm642.1.1

Dependencies

Run dependencies 2