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

Sources/macros/latex/contrib/ebproof
Doc­u­men­ta­tion
Re­pos­i­toryhttps://fra­m­agit.org/manu/ebproof
Ver­sion2.0 2017-05-17
Li­censesThe Project Public Li­cense 1.3
Copy­right2015–2017 Em­manuel Bef­fara
Main­tainerEm­manuel Bef­fara
TDS archiveebproof.tds.zip
Con­tained inTeX Live as ebproof
MiKTeX as ebproof
TopicsMaths
Proof
See alsobussproofs

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

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

Pack­age Links

Guest Book Sitemap Contact Contact Author