10

8

6

4

2


2.0

8.6

1 Theorem Provers package

  • twee-lib

    2.0 8.6 Haskell
    An equational theorem prover

Add another 'Theorem Provers' Package