<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><div><div><div><div>On 10 Oct 2011, at 18:43, Mike Gordon wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div>Yes, cool indeed ...<br><br><blockquote type="cite">What I would love to see is these kind of tactics available as "web<br></blockquote><blockquote type="cite">services"<br></blockquote><br>... is this the start of cloud theorem proving! -- Mike<br></div></blockquote></div><br></div></div></div><div>Jacques Fleuriot and Steve Obua are on that track too, see:</div><div><br></div><div><a href="http://proofpeer.appspot.com/html/currentVersion.html#">http://proofpeer.appspot.com/html/currentVersion.html#</a></div><div><br></div><div>Cheers,</div><div><br></div><div>Rob.</div><div><br></div></body></html>