ctan-ann - synproofAnnouncements of the Comprehensive TeX Archive Networkctan-ann-synproof2024-03-29T14:14:17ZCTAN has a new package: synproof1181390938.22044.5.camel@alan.smcvt.edu2007-06-09T08:08:58ZA new package has been installed at tug.ctan.org and should soon be
at your favorite mirror.
Thanks again,
Jim Hefferon
...
A new package has been installed at tug.ctan.org and should soon be
at your favorite mirror.
Thanks again,
Jim Hefferon
Saint Michael's College
.......................................................................
The following information was provided by our fellow contributor:
Name of contribution: synproof
Author's name: Paul Isambert
Location on CTAN: /macros/latex/contrib/synproof
Summary description: Easy drawing of syntactic proofs (a.k.a. derivations)
in modern logic.
License type: lppl
...
]]>
CTAN Announcementsctan-ann at dante.de