The story, if I recall correctly, is that the programmer Edwin Brady had a previous project that was a proof engine, and lacking a suitable name for it, named after an older British children&#x27;s cartoon called Ivor the Engine.[^1] When it came time to name a newer project, he decided to name it after another character from the same show: Idris, the little red Welsh dragon. This, incidentally, is why the Idris language&#x27;s logo is a stylized red wing.<p>[^1]: Ivor the Proof Engine is here, although apparently not actively updated any more: <a href="https:&#x2F;&#x2F;github.com&#x2F;edwinb&#x2F;Ivor" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;edwinb&#x2F;Ivor</a>