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 ex­pl3 and xparse.

Sources /macros/latex/contrib/ebproof
Re­pos­i­tory https://fra­m­agit.org/manu/ebproof
Ver­sion 2.0 2017-05-17
Li­cense The Project Public Li­cense 1.3
Copy­right 2015–2017 Em­manuel Bef­fara
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 (233.8k).

Com­mu­nity Com­ments



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


Guest Book Sitemap Contact Contact Author