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)
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.
Thanks, Théo, I've added it to the end.
John Wiegley has marked this topic as resolved.
Last updated: Dec 07 2023 at 14:02 UTC