search

coq-community / hydra-battles

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
https://coq-community.org/hydra-battles/doc/hydras.pdf
MIT License
68 stars 12 forks source link

Tagline for the project #23

Closed palmskog closed 3 years ago

palmskog commented 3 years ago

We discussed the current tagline for the project on Zulip, and there seems to be consensus that "funny maths" sounds a bit weird. I theorized that it may be a translation of mathématiques amusantes, whence a more reasonable translation to UK English might be "entertaining maths" or just plain "interesting maths". However, since we seem to lean towards US English in coq-community, maybe:

Variations on Kirby & Paris' hydra battles and other entertaining math (collaborative, documented, includes exercises)

Casteran commented 3 years ago

Ok!

Envoyé de mon iPhone

Le 13 janv. 2021 à 15:33, Karl Palmskog notifications@github.com a écrit :

We discussed the current tagline for the project on Zulip, and there seems to be consensus that "funny maths" sounds a bit weird. I theorized that it may be a translation of mathématiques amusantes, whence a more reasonable translation to UK English might be "entertaining maths". However, since we seem to lean towards US English in coq-community, maybe:

Variations on Kirby & Paris' hydra battles and other entertaining math (collaborative, documented, includes exercises)

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub, or unsubscribe.