Haskell Logic Theorem Provers by Dev Activity

9.8

7.1

tamarin-prover

7.6

0.0

tip-haskell-frontend

3.2

0.0

qed

0.8

0.0

haskhol-core

5.7

0.0

Folly

5 Theorem Provers packages and projects

tamarin-prover

9.8 7.1 Haskell

Main source code repository of the Tamarin prover for security protocol verification.
tip-haskell-frontend

7.6 0.0 Haskell

Convert from Haskell to Tip

Access the most powerful time series database as a service

Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.

Promo www.influxdata.com

qed

3.2 0.0 Haskell

Experiments writing a prover
haskhol-core

0.8 0.0 Haskell

The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.
Folly

5.7 0.0 Haskell

First order logic in Haskell

Popular Comparisons

qed

vs

tamarin-prover
tamarin-prover

vs

tip-haskell-frontend
tamarin-prover

vs

minisat
Folly

vs

picosat
tamarin-prover

vs

satchmo

Add another 'Theorem Provers' Package