I had never noticed this before, despite apologizing for the name of the proof assistant to my students for many years. This year, I had a student point out to me the
flesh-colored logo with what looks like a mushroom top
and now I can't unsee it.
Isn't it time for a new logo?
James R. Wilcox
University of Washington, Seattle