> > Technically speaking, you are not reduced to just one identifier per > theorem. In particular, you can provide a list of search keys, or maintain > different conventions in parallel. The user picks his favorite then. >
Yes, I agree. I'm not fond of any central authority to assign a lot of meaningful identifiers, that role should be best served by software tools. There are too many factors to consider and many possible solutions: hierarchical namespaces, tags, petnames, etc. -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/996cb18b-7338-4064-b8af-e2a5c54cef8b%40googlegroups.com.
