10

8

6

4

2


5.7

6.0

1 Theorem Provers package

  • twee-lib

    5.7 6.0 Haskell
    An equational theorem prover

Add another 'Theorem Provers' Package