equ es un chequeador de demostraciones para una lógica ecuacional. El primer prototipo de equ fue yahc.
