En la Demostración automática de teoremas, PhoX es un asistenete de pruebas que es eXtensible.