ctan-ann - ebproof

New on CTAN: ebproof

Wed, 04 Feb 2015 17:58:35 +0100

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 Update: ebproof

Mon, 30 Mar 2015 07:44:16 +0200

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.
  

...

CTAN Update: ebproof

Sun, 21 May 2017 07:35:40 +0200

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

...

CTAN Update: ebproof

Thu, 20 Aug 2020 21:47:34 +0200

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.

...