$Id: README.md 11530 2026-01-19 02:07:23Z cfrees $ prooftrees etc. forest-based packages/libraries Unless otherwise indicated, all code is licensed under the LPPL 1.3c.