[opentheory-users] reuse lemmas in article format

François Thiré franth2 at gmail.com
Wed May 17 16:09:38 UTC 2017

2017-05-17 17:34 GMT+02:00 Joe Leslie-Hurd <joe at gilith.com>:

> Hi Francois,
> Yes, the dictionary is the mechanism for reusing objects (including
> theorems) in an article file.
> To address your question about naming theorems, the article format is
> intended to be written and read by tools, not humans, so there is no
> need for a human-readable name. To bridge the gap an article compiler
> must create a mapping from human-readable names to integers
> (dictionary keys).

Thanks for your answer. But how in OT, is it possible to give a name to a
theorem proved in an article file?

> Joe
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gilith.com/opentheory/mailing-list/attachments/20170517/a9c22a79/attachment.html>

More information about the opentheory-users mailing list