[opentheory-users] reuse lemmas in article format
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?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the opentheory-users