ctan-ann - logicproofAnnouncements of the Comprehensive TeX Archive Networkctan-ann-logicproof2026-09-11T05:58:43ZNew on CTAN: logicproofmailman.4905.1395474388.3883.ctan-ann@dante.de2014-03-22T08:46:08ZAlan Davidson submitted the
logicproof
package.
...
Alan Davidson submitted the
logicproof
package.
Version date: 2014/03/20
License type: lppl
Summary description: Box proofs for propositional and predicate logic
Announcement text: First public release
A common style of proof used in propositional and predicate
...
]]>
CTAN Announcementsctan-ann at dante.de