DoomGuy Teaches Isabelle