10

8

6

4

2


8.3

7.5

1 twee package

  • twee-lib

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

Add another 'twee' Package