Simple prover

qed alternatives and similar packages

Based on the "Theorem Provers" category

• tamarin-prover

  9.7 7.7 qed VS tamarin-prover

  The Tamarin prover for security protocol analysis.

• tip-haskell-frontend

  7.5 2.8 qed VS tip-haskell-frontend

  Convert from Haskell to Tip

• Folly

  4.8 0.0 qed VS Folly

  A first order logic library in Haskell

• haskhol-core

  4.8 0.0 qed VS haskhol-core

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

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

Add another 'Theorem Provers' Package

Popular Comparisons

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