John Wiegley (Feb 10 2023 at 17:31): John Wiegley (Feb 10 2023 at 17:31):I don't know if this has been suggested already, but this morning I thought of Calico. It makes for a nice mascot. :)
Cal(culus of) i(nductive) co(nstructions)
Théo Zimmermann (Feb 10 2023 at 17:36):No, indeed that's nice and it isn't on https://github.com/coq/coq/wiki/Alternative-names. Feel free to add it, but it's unfortunately very late in the process to get considered.
John Wiegley (Feb 10 2023 at 17:46):Thanks, Théo, I've added it to the end.
Notification Bot (Feb 10 2023 at 17:46):John Wiegley has marked this topic as resolved.
Last updated: Sep 15 2024 at 13:02 UTC