CTAN
Comprehensive TeX Archive Network

ebproof – Formal proofs in the style of sequent calculus

This pack­age pro­vides com­mands to type­set proof trees in the style of se­quent cal­cu­lus and re­lated sys­tems.

The com­mands al­low for writ­ing in­fer­ences with any num­ber of premises and align­ment of suc­ces­sive for­mu­las on an ar­bi­trary point. Var­i­ous op­tions al­low com­plete con­trol over spac­ing, styles of in­fer­ence rules, place­ment of la­bels, etc.

The pack­age re­quires pgfkeys (from the PGF/TikZ bun­dle) for the op­tion sys­tem.

Sources /macros/latex/contrib/ebproof
Doc­u­men­ta­tion
Ver­sion 1.1 2015-03-13
Li­cense The Project Public Li­cense 1.3
Main­tainer Em­manuel Bef­fara
TDS archive ebproof.tds.zip
Con­tained in TeX Live as ebproof
MiKTeX as ebproof
Topics sup­port for type­set­ting math­e­mat­ics
type­set proofs and proof di­a­grams
See also bussproofs

Down­load the con­tents of this pack­age in one zip archive (203.1k).

Com­mu­nity Com­ments

Load­ing...

An­nounce­ments

Here you can see a re­spec­tive di­a­gram in newer browsers.

more

Guest Book Sitemap Contact Contact Author