Un asistente de programación formal pero ingenioso para resolver problemas de código.