[opentheory-users] Description of the project goals

Joe Leslie-Hurd joe at gilith.com
Tue Feb 18 17:54:05 UTC 2014


Hi Rob,

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).

I've made the change on the main project page:

http://www.gilith.com/research/opentheory/

Cheers,

Joe




On Fri, Feb 14, 2014 at 5:13 AM, Rob Arthan <rda at lemma-one.com> wrote:

> The OpenTheory home page says that the goal of the project is to allow
> proofs to be shared between different theorem prover implementations.
> May I request that this be clarified by changing "proofs" to
> "specifications
> and proofs", if no-one objects and if Joe has time to do it.
>
> My reason for the request is that my work on OpenTheory is
> in part supported by people who understand the concept of
> specification better than the concept of proof, and it will not
> be obvious to them that transferring proofs includes transferring
> specifications.
>
> Regards,
>
> Rob.
>
> _______________________________________________
> opentheory-users mailing list
> opentheory-users at gilith.com
> http://www.gilith.com/opentheory/mailing-list
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gilith.com/opentheory/mailing-list/attachments/20140218/f010c3bd/attachment-0001.html>


More information about the opentheory-users mailing list