10

8

6

4

2


8.1

3.8

1 Theorem Provers package

  • twee-lib

    8.1 3.8 Haskell
    An equational theorem prover based on Knuth-Bendix completion

Add another 'Theorem Provers' Package