Selected Tags

Click on a tag to remove it

Twee packages

Showing projects tagged as Twee

  • twee-lib

    8.3 7.5 Haskell
    An equational theorem prover based on Knuth-Bendix completion