really being triggered by ajar http://groups.csail.mit.edu/dig/2005/ajar/ajaw/tab.html and also seeing the beauty of the tree proof generation at http://www.umsu.de/logik/trees/ all done in javascript, I started writing euler.js and it is actually a proof engine of only 85 lines of javascript http://eulersharp.sourceforge.net/2006/02swap/euler.js that can prove http://eulersharp.sourceforge.net/2006/02swap/socrates.html http://eulersharp.sourceforge.net/2006/02swap/graph.html as a beginning -- Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/Received on Monday, 6 February 2006 00:06:26 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:36:10 GMT