10

8

6

4

2


2.0

8.6

1 twee package

  • twee-lib

    2.0 8.6 Haskell
    An equational theorem prover

Add another 'twee' Package