10

8

6

4

2


9.8

8.4
tamarin-prover

7.5

2.1
tip-haskell-frontend

4.9
0.0
Folly

2.7
0.0
qed
0.7
0.0
haskhol-core

5 Theorem Provers packages and projects

  • tamarin-prover

    9.8 8.4 Haskell
    Main source code repository of the Tamarin prover for security protocol verification.

  • tip-haskell-frontend

    7.5 2.1 Haskell
    Convert from Haskell to Tip

    • InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
    Promo www.influxdata.com
    InfluxDB Logo

  • Folly

    4.9 0.0 Haskell
    First order logic in Haskell

  • qed

    2.7 0.0 Haskell
    Experiments writing a prover

  • haskhol-core

    0.7 0.0 Haskell
    The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.
SaaSHub - Software Alternatives and Reviews
featured www.saashub.com

Popular Comparisons

Add another 'Theorem Provers' Package