1
0
Fork
You've already forked prooftrees
0
A LaTeX package for drawing logical tableaux.
TeX 99.1%
Lua 0.9%
Clea F. Rees 54cfc9a55f
Some checks failed
Automatic Checks for prooftrees / Update TeX Live cache (push) Has been cancelled
Automatic Checks for prooftrees / Test build: prooftrees (push) Has been cancelled
Merge branch 'devel' (updated action versions; purify alt text for 
tagging; tweaks re. leave vmode)
2025年12月10日 14:58:56 +00:00
.github use new nfssext action tag?? 2025年12月10日 14:09:42 +00:00
tagging-exp TeX : prooftrees : + tagging experiments 2025年08月24日 17:37:21 +01:00
testfiles prooftrees : update tlgs for minor logging change from latex 2025年11月30日 07:40:12 +00:00
testfiles-mem TeX : prooftrees : cywiro prooftrees-memoize-t2-alignment.luatex.tlg 2025年09月04日 04:26:19 +01:00
testfiles-tag TeX : prooftrees : give error if tagging (dw i\'n rhoi\'r fidl yn y to \| I give up) 2025年09月04日 04:26:19 +01:00
testfiles-tag-mem TeX : prooftrees : update tag-mem tlgs (luatex only) for no real reason 2025年09月05日 02:06:46 +01:00
.gitignore TeX : prooftrees : partial move to docstrip (incomplete) 2025年08月23日 00:07:57 +01:00
build.lua prooftrees: add fix for latex release breakage to devel branch 2025年11月30日 07:05:17 +00:00
config-mem.lua split out memoize tests for additional runs, tidy up doc a bit, tweak ignores 2024年10月24日 07:34:03 +01:00
config-tag-mem.lua TeX : prooftrees : rhy ddrwg. 2025年09月04日 04:26:19 +01:00
config-tag.lua TeX : prooftrees : add standard tlgs for pdftex for tag testing config 2025年09月04日 04:26:18 +01:00
LICENSE Initial commit 2023年11月12日 22:05:33 +00:00
manifest.txt TeX : prooftrees : update manifest.txt 2025年09月04日 05:08:14 +01:00
prooftrees.dtx prooftrees: add fix for latex release breakage to devel branch 2025年11月30日 07:05:17 +00:00
prooftrees.ins TeX : prooftrees : rhy ddrwg. 2025年09月04日 04:26:19 +01:00
prooftrees.sty update and fix docs, tidy up comments, include source listing in pdf 2024年10月23日 17:33:32 +01:00
prooftrees.tex readd fixes from devel because I cannot get this right (recovered from svn 2024年11月05日 05:31:35 +00:00
prooftrees_biber.bib Upload current version (will be v0.9) 2023年11月14日 01:00:08 +00:00
README.md TeX : prooftrees : in-file tag 0.9.1 2025年09月04日 04:27:06 +01:00

Id: README.md 11204 2025年09月04日 03:23:15Z cfrees

Automatic Checks Automatic Checks

prooftrees

A LaTeX package for drawing logical tableaux.

Licence

Copyright 2016-2024 Clea F. Rees

This work may be distributed and/or modified under the conditions of the LaTeX Project Public License, either version 1.3c of this license or (at your option) any later version. The latest version of this license is in https://www.latex-project.org/lppl.txt and version 1.3c or later is part of all distributions of LaTeX version 2008年05月04日 or later.

This work has the LPPL maintenance status `maintained'.

The Current Maintainer of this work is Clea F. Rees.

This file may only be distributed together with a copy of the package prooftrees. You may however distribute the package prooftrees without such generated files.

This work consists of all files listed in manifest.txt.

Features

This package supports drawing tableaux (proof trees) of the kind often used in introductory logic classes, especially those aimed at students without strong mathemtical backgrounds. Hodges (1991) is one example of a text which uses this system. When teaching such a system it is especially useful to annotate the tree with line numbers, justifications and explanations of branch closures.

prooftrees provides a single environment - either prooftree or tableau - and a variety of tools for annotating, customising and highlighting such trees. A cross-referencing system is provided for trees which cite line numbers in justifications for proof lines or branch closures.

prooftrees is based on Forest and, hence, TikZ. The package requires version 2.1+ of Forest for expected results and will not work with version 1.

Version 0.9 adds out-of-the-box support for externalisation of tableaux using memoize.

Code Repositories

Code for the package is hosted at https://codeberg.org/cfr/prooftrees For convenience, the repository is mirrored at https://github.com/cfr42/prooftrees

Contact Details

Bug reports, feature requests etc. should be filed at https://codeberg.org/cfr/prooftrees/issues

Clea F. Rees Version 0.9.1 2025年09月04日

vim: et:tw=80: