10

8

6

4

2


8.1

2.1
twee-lib

1 Theorem Provers package

  • twee-lib

    8.1 2.1 Haskell
    An equational theorem prover based on Knuth-Bendix completion
Access the most powerful time series database as a service
sponsored www.influxdata.com
ONLYOFFICE Docs — document collaboration in your environment
sponsored www.onlyoffice.com

Add another 'Theorem Provers' Package