GitHub repository: ssl-gunma-univ/SOL
Primary language: Haskell
Description: A project to check the decidability of equational theories.