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)
| 
Report a problem
Loading…
looks really good chris but there was not a great deal of feedback in terms of how you go about applying rules. In the end i had to give up because i think not knowing how to apply the rules via the software interface meant i clicked on the wrong row first or somerthing and the result was lots of error messages in the java window. will be watching out for updates. cheers
17 Apr 2006, 23:47
Add a comment
You are not allowed to comment on this entry as it has restricted commenting permissions.