CTAN Comprehensive TeX Archive Network

An­nounce­ments for LKproof

LKproof – LK Proof fig­ure macros

The pack­age de­fines a pair of com­mands \in­fer and \de­duce, that are used in con­struct­ing LK proof di­a­grams.

Pack­ageLKproof
Ver­sion3.1 2005-11-24
Copy­right1990–2005 Makoto Tat­suta
Main­tainerMakoto Tat­suta

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

Guest Book Sitemap Contact Contact Author