Popularity

3.8

Growing

Activity

0.0

Stable

Stars 3

Watchers 4

Forks 0

Last Commit almost 8 years ago

Monthly Downloads: 2

Programming language: Haskell

License: BSD 3-clause "New" or "Revised" License

Tags: Logic Theorem Provers

Latest version: v0.0

qed alternatives and similar packages

Based on the "Theorem Provers" category.
Alternatively, view qed alternatives based on common mentions on social networks and blogs.

tamarin-prover

9.8 0.0 qed VS tamarin-prover

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

7.5 0.0 qed VS tip-haskell-frontend

Convert from Haskell to Tip

Collect and Analyze Billions of Data Points in Real Time

Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.

Promo www.influxdata.com

Folly

5.5 0.0 qed VS Folly

First order logic in Haskell
haskhol-core

0.7 0.0 qed VS haskhol-core

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