Topic: naming convention for defs
Kenny Lau (Jul 23 2020 at 19:31):
How do I name definitions (i.e. constructions)? For theorems, since proofs are irrelevant, we just name them by their types. Do we have some guidelines for naming definitions? Presumably we name them for their "purpose"
Kenny Lau (Jul 23 2020 at 21:07):
Johan Commelin (Jul 24 2020 at 04:19):
I think it really depends on the situation. But I agree that naming them for "purpose" is a good start. Otoh, if the thing is "canonical" then you might fall back to "naming by type".
That's my two grains of salt (-;
Last updated: May 09 2021 at 18:17 UTC