A first order logic library in Haskell

Folly alternatives and similar packages

Based on the "Theorem Provers" category

• tamarin-prover

  9.7 7.7 Folly VS tamarin-prover

  The Tamarin prover for security protocol analysis.

• tip-haskell-frontend

  7.5 2.8 Folly VS tip-haskell-frontend

  Convert from Haskell to Tip

• haskhol-core

  4.8 0.0 Folly VS haskhol-core

  The core logical system of HaskHOL, an EDSL for HOL theorem proving.

• qed

  3.1 0.0 Folly VS qed

  Simple prover

Do you think we are missing an alternative of Folly or a related project?

Popular Comparisons

• Folly
  vs
  picosat
• tamarin-prover
  vs
  qed
• tamarin-prover
  vs
  tip-haskell-frontend
• haskhol-core
  vs
  picosat
• tamarin-prover
  vs
  picosat

SaaSHub - Software Alternatives and Reviews View more from us