CTAN Comprehensive TeX Archive Network

An­nounce­ments for log­icproof

log­icproof – Box proofs for propo­si­tional and pred­i­cate logic

A com­mon style of proof used in propo­si­tional and pred­i­cate logic is Fitch proofs, in which each line of the proof has a state­ment and a jus­ti­fi­ca­tion, and sub­proofs within a larger proof have boxes around them.

The pack­age pro­vides en­vi­ron­ments for type­set­ting such proofs and boxes. It cre­ates proofs in a style sim­i­lar to that used in “Logic in Com­puter Science” by Huth and Ryan.

Ver­sion 2014-03-20
Main­tainerAlan David­son

Atom Atom 1.0 feed with an­nounce­ments for pack­age log­icproof.
RSS RSS 2.0 feed with an­nounce­ments for pack­age log­icproof.

Guest Book Sitemap Contact Contact Author