10

8

6

4

2


6.8

7.5

1 Theorem Provers package

  • twee-lib

    6.8 7.5 Haskell
    An equational theorem prover

Add another 'Theorem Provers' Package