10

8

6

4

2


8.4

5.1
twee-lib

1 Theorem Provers package

  • twee-lib

    8.4 5.1 Haskell
    An equational theorem prover based on Knuth-Bendix completion
InfluxDB – Built for High-Performance Time Series Workloads
featured www.influxdata.com
SaaSHub - Software Alternatives and Reviews
featured www.saashub.com

Add another 'Theorem Provers' Package