ctan-ann - ebproofAnnouncements of the Comprehensive TeX Archive Networkctan-ann-ebproof2026-07-20T08:44:07ZNew on CTAN: ebproofmailman.5036.1423069131.4370.ctan-ann@dante.de2015-02-04T17:58:35ZEmmanuel Beffara submitted the
ebproof
package.
...
Emmanuel Beffara submitted the
ebproof
package.
Version number: 1.0
License type: lppl1.3
Summary description: Typeset formal proofs in the style of
sequent calculus.
Announcement text: First public release:
...
]]>
CTAN Announcementsctan-ann at dante.de CTAN Update: ebproofmailman.1629.1427694281.8024.ctan-ann@dante.de2015-03-30T07:44:16ZEmmanuel Beffara submitted an update to the
ebproof
package.
...
Emmanuel Beffara submitted an update to the
ebproof
package.
Version: 1.1 / 2015-03-13
License: lppl1.3
Summary description: Formal proofs in the style of sequent calculus.
Announcement text:
Removed incorrect uses of \ifthenelse.
Changed the template options to make them more robust.
...
]]>
CTAN Announcementsctan-ann at dante.de CTAN Update: ebproofmailman.3109.1495344955.4791.ctan-ann@ctan.org2017-05-21T07:35:40ZEmmanuel Beffara submitted an update to the
ebproof
package.
...
Emmanuel Beffara submitted an update to the
ebproof
package.
Version: 2.0 2017-05-17
License: lppl1.3
Summary description: Formal proofs in the style of sequent calculus
Announcement text: This is a complete rewrite of the package allowing for future
developments. It now uses the expl3 programming environment
instead of pgfkeys and additional packages.
...
]]>
CTAN Announcementsctan-ann at ctan.org CTAN Update: ebproofmailman.1487.1597952869.2548.ctan-ann@ctan.org2020-08-20T21:47:34ZEmmanuel Beffara submitted an update to the
ebproof
package.
...
Emmanuel Beffara submitted an update to the
ebproof
package.
Version: 2.1 2020-08-19
License: lppl1.3
Summary description: Formal proofs in the style of sequent calculus
Announcement text:
This is mostly a bugfix release which ensures compatibility
with the new LaTeX release.
...
]]>
CTAN Announcementsctan-ann at ctan.org