bucephalus.org

Available software

Currently, there are two systems for propositional logic:

Bucanon

an online Java applet

PropLogic

a Haskell package for propositional logic

[home] [blog]