The Ratiocinator for ConTeXt MkIV provides a couple of tool for typesetting, evaluating and visualizing propositional logic using a minimalist ascii input notation.
All intended functionality implemented (needs testing); no documentation yet. No module structure, interface XML etc. yet. This will all be added in good time.
The Ratiocinator was written and conceived by Philipp Gesang (megas.kapaneus at gmail dot com). Its home is a Mercurial repository at BitBucket:
hg clone https://firstname.lastname@example.org/phg/context-ratiocinator
The Ratiocinator is licensed under the terms of the BSD license with two clauses. See the file COPYING for details.