Tue, 20 Aug 2013 14:36:22 +0200 | blanchet | new version of MaSh tool -- experimental server | file | diff | annotate |
Thu, 31 Jan 2013 11:20:12 +0100 | blanchet | compute proper weight for "p proves p" in MaSh | file | diff | annotate |
Thu, 17 Jan 2013 17:55:03 +0100 | blanchet | updated MaSh | file | diff | annotate |
Sat, 12 Jan 2013 16:49:39 +0100 | blanchet | new version of MaSh Python component | file | diff | annotate |
Fri, 11 Jan 2013 16:30:56 +0100 | blanchet | updated MaSh Python component | file | diff | annotate |
Thu, 27 Dec 2012 10:01:40 +0100 | blanchet | new version of MaSh, with theory-level reasoning | file | diff | annotate |
Wed, 12 Dec 2012 00:14:58 +0100 | blanchet | updated version of MaSh learner engine | file | diff | annotate |