<div dir="ltr">Hi Rob,<div><br></div><div>I like the change, and indeed see the details of the specifications (statements of theorems and definitions) as more significant than the proofs (where it is only important that a shortish one exists).</div>
<div><br></div><div>I've made the change on the main project page:</div><div><br></div><div><a href="http://www.gilith.com/research/opentheory/">http://www.gilith.com/research/opentheory/</a><br></div><div><br></div><div>
Cheers,</div><div><br></div><div>Joe</div><div><br></div><div><br></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, Feb 14, 2014 at 5:13 AM, Rob Arthan <span dir="ltr"><<a href="mailto:rda@lemma-one.com" target="_blank">rda@lemma-one.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><div>The OpenTheory home page says that the goal of the project is to allow</div><div>
proofs to be shared between different theorem prover implementations.</div><div>May I request that this be clarified by changing "proofs" to "specifications</div><div>and proofs", if no-one objects and if Joe has time to do it.</div>
<div><br></div><div>My reason for the request is that my work on OpenTheory is</div><div>in part supported by people who understand the concept of</div><div>specification better than the concept of proof, and it will not</div>
<div>be obvious to them that transferring proofs includes transferring</div><div>specifications.</div><div><br></div><div>Regards,</div><div><br></div><div>Rob.</div></div><br>_______________________________________________<br>

opentheory-users mailing list<br>
<a href="mailto:opentheory-users@gilith.com">opentheory-users@gilith.com</a><br>
<a href="http://www.gilith.com/opentheory/mailing-list" target="_blank">http://www.gilith.com/opentheory/mailing-list</a><br>
<br></blockquote></div><br></div>