GitHub repository: miguelpagano/equ
Primary language: Haskell
Description: Chequeador de demostraciones de lógica ecuacional