Un assistente di programmazione formale ma spiritoso per risolvere problemi di codice.