Name		Name	Last commit message	Last commit date
.github		.github
forest-ext		forest-ext
memoize-ext		memoize-ext
prooftrees		prooftrees
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md

Repository files navigation

$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.

About

A LaTeX package for drawing logical tableaux plus additional libraries for Forest trees.

forest latex latex-package logic mathematics pgf philosophy tableau tableaux tagged-pdf tagging tex tikz trees

LPPL-1.3c license

3 stars

1 watching

Report repository

Releases

Packages

Used by

Contributors

Languages