Zulip Chat Archive

Stream: general

Topic: naming convention for defs


view this post on Zulip 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"

view this post on Zulip Kenny Lau (Jul 23 2020 at 21:07):

@Johan Commelin

view this post on Zulip 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