All entries for Monday 17 April 2006

Download it now!

Writing about web page http://www.dcs.warwick.ac.uk/~csucix/

You can now download PLoTT ("Propositional Logic Teaching Tool") from its website .

Any thoughts, comments or suggestions are welcome. In terms of future development, I intend to release the source code under the GPL should anyone wish to carry on with it. Please, if you have a spare five minutes and are interested in / have studied natural deduction, please give it a whirl and send me some feedback! Deadline for my report is 20th April, so anything you send could feature :)

: 17 Apr 2006 20:48 |  Comments (1) |  Close comments |  Report a problem