Stickman logic

Prompted by the list making my brain hurt I've been looking to get a bit
more theory on board - and in my searchings came across this, described as
"A program for the beautification of logic" and "Modern logic meets modern
art". It's really quite sweet ;-)

http://www.fecundity.com/pmagnus/stickmanlogic/

---
Danny Ayers
http://www.isacat.net