[opentheory-users] Error loading articles

Ramana Kumar ramana at member.fsf.org
Tue Oct 27 03:57:18 UTC 2015

Hi Joe,

It looks like you are encoding theorem names via some (undocumented) scheme
that wraps the theorem as:

  |- (\name_of_thm. name_of_thm) conclusion_of_thm

Is this going to become a standard format in which to encode theorem names,
that other article readers should expect? (I presume not!)

When we last discussed theorem names, (
and the ensuing discussion), the plan was to standardise on theorem
metadata. Has there been any progress on this front?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gilith.com/opentheory/mailing-list/attachments/20151027/15340647/attachment-0001.html>

More information about the opentheory-users mailing list