Chequeador de demostraciones de lógica ecuacional