Thank you, I had read the FAQ:

http://docs.idris-lang.org/en/latest/faq/faq.html

but could not infer why a dragon from Ivor the engine had been chosen. That the author had previously written a proof engine makes all the sense now. :)