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.
The feature set from the user's point of view is mostly unchanged except that commands have been renamed to lowercase (but backwards compatibility is preserved, with warnings) and that a new command
ewrite has been added, to allow arbitrary decoration of proof subtrees.
----------------------------------------------------------------------
The package’s Catalogue entry can be viewed at https://ctan.org/pkg/ebproof
The package’s files themselves can be inspected at http://mirror.ctan.org/macros/latex/contrib/ebproof/
------------------------------------------------------------------------
Thanks for the upload.
For the CTAN Team Petra Rübe-Pugliese
------------------------------------------------------------------------
We are supported by the TeX users groups. Please join a users group; see https://www.tug.org/usergroups.html .