GitHub repository: nick8325/twee
Primary language: Haskell
Description: An equational theorem prover based on Knuth-Bendix completion