twee-lib (hackage): An equational theorem prover based on Knuth-Bendix completion
Keywords: bsd3|library|theorem-provers