Clea F. Rees submitted an update to the

prooftrees

package.

Version: 0.9
License: lppl1.3c

Summary description: Forest-based proof trees (symbolic logic)

Announcement text: --------------------------------------------------------------------------------

Update adds out-of-the-box support for memoization.

--------------------------------------------------------------------------------

This package is located at
https://mirrors.ctan.org/graphics/pgf/contrib/prooftrees

More information is at
https://www.ctan.org/pkg/prooftrees


--------------------------------------------------------------------------------

Thanks for the upload.

For the CTAN Team
Manfred Lotz


CTAN is run entirely by volunteers and supported by TeX user groups.
Please join a user group or donate to one, see https://ctan.org/lugs .

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)