CTAN Comprehensive TeX Archive Network

Directory macros/latex/contrib/ebproof

README.md

The ebproof package

A package to typeset formal proofs in the style of sequent calculus.

Presentation

The ebproof 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 premisses 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 distribution includes the following files:

  • ebproof.dtx : the doctrip source for the package and documentation
  • ebproof.ins : the generation script for producing ebproof.sty
  • ebproof.pdf : the compiled documentation

The package requires expl3 (the 3 programming environment) which provides many useful programming tools.

License

Copyright 2015-2021 Emmanuel Beffara <manu@beffara.org>

This work may be distributed and/or modified under the conditions of the Project Public License, either version 1.3 of this license or (at your option) any later version. The latest version of this license is in http://www.latex-project.org/lppl.txt and version 1.3 or later is part of all distributions of version 2005/12/01 or later.

This work has the LPPL maintenance status “maintained”.

The Current Maintainer of this work is Emmanuel Beffara.

This work consists of the file ebproof.dtx.

Download the contents of this package in one zip archive (496.4k).

ebproof – Formal proofs in the style of sequent calculus

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.

Packageebproof
Repositoryhttps://framagit.org/manu/ebproof
Version2.1.1 2021-01-28
LicensesThe Project Public License 1.3
Copyright2015–2021 Emmanuel Beffara
MaintainerEmmanuel Beffara
Contained inTeX Live as ebproof
MiKTeX as ebproof
TopicsExperimental 3
Maths
Proof
See alsobussproofs
...
Guest Book Sitemap Contact Contact Author