ctan-ann - logicproofAnnouncements of the Comprehensive TeX Archive Networkctan-ann-logicproof2024-03-29T02:36:45ZNew 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