cfr/prooftrees

Fork 0

The home of prooftrees, a LaTeX package for drawing logical tableaux plus additional libraries for Forest trees, forest-ext, a set of libraries for use with forest, and memoize-ext, a package extending the capabilities of memoize. prooftrees uses forest-ext to support tagged PDF, which in turn uses memoize-ext. Memoization of content in ltx-talk presentations is also supported.

latex linguistics logic tableaux tex tikz

TeX 97.6%
Lua 2.4%

Find a file

Clea F. Rees 87efa7f2e4 Some checks are pending Automatic Checks for forest-ext / Update TeX Live cache (push) Waiting to run Details Automatic Checks for forest-ext / Test build: forest-ext (push) Blocked by required conditions Details Automatic Checks for memoize-ext / Update TeX Live cache (push) Waiting to run Details Automatic Checks for memoize-ext / Test build: memoize-ext (push) Blocked by required conditions Details Automatic Checks for prooftrees / Update TeX Live cache (push) Waiting to run Details Automatic Checks for prooftrees / Test build: prooftrees (push) Blocked by required conditions Details memoize-ext : flip update toggle in build.lua		2026-02-27 21:53:02 +00:00
.github	delete obsolete workflow	2026-02-21 18:19:37 +00:00
forest-ext	update version/date info for forest-ext	2026-02-21 02:35:11 +00:00
memoize-ext	memoize-ext : flip update toggle in build.lua	2026-02-27 21:53:02 +00:00
prooftrees	prooftrees : update dates/version and readme	2026-02-21 01:54:49 +00:00
.gitignore	ignore scratch directories	2026-02-20 19:00:17 +00:00
LICENSE	Initial commit	2023-11-12 22:05:33 +00:00
README.md	svn rev bump for readme	2026-01-19 07:15:10 +00:00

README.md

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.