Zulip Chat Archive
Stream: PrimeNumberTheorem+
Topic: Shorthand project name
Yaël Dillies (Jan 30 2024 at 15:13):
Do you have a nice shorthand for the name, like PNTBeyond?
Alex Kontorovich (Jan 30 2024 at 15:16):
We do now!
Johan Commelin (Jan 30 2024 at 15:16):
Maybe PNT+?
Alex Kontorovich (Jan 30 2024 at 15:17):
That works too, I'm not picky :)
Notification Bot (Jan 30 2024 at 15:18):
4 messages were moved here from #announce > Prime Number Theorem and Beyond by Johan Commelin.
Yaël Dillies (Jan 30 2024 at 15:24):
Anything will do as long as it's typeable and matches the repo name and Lean library name
Alex Kontorovich (Jan 30 2024 at 15:40):
Sorry, I don't follow - what is the purpose of a shorthand project name? Is it something technical or just informal?
Yaël Dillies (Jan 30 2024 at 16:05):
Both really. It's gonna be annoying if I have to tell people I'm working on PrimeNumberTheoremAndBeyond or if have to type it.
Yaël Dillies (Jan 30 2024 at 16:06):
Compare that to PFR, LeanAPAP or unit-fractions
Last updated: May 02 2025 at 03:31 UTC