Safe Haskell | None |
---|---|
Language | Haskell2010 |
Twee.KBO
Description
An implementation of Knuth-Bendix ordering.
twee-lib-2.2: An equational theorem prover
Safe Haskell | None |
---|---|
Language | Haskell2010 |
Twee.KBO
Description
An implementation of Knuth-Bendix ordering.