Popularity
3.4
Declining
Activity
0.0
Stable
3
4
0
Monthly Downloads: 4
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
Main source code repository of the Tamarin prover for security protocol verification. -
haskhol-core
The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.
InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
Promo
www.influxdata.com
Do you think we are missing an alternative of qed or a related project?
README
QED Prover
Experiments writing a proof system, particularly designed to prove properties about Haskell code, such as the HLint rewrite rules.
Tom Ellis described the approach as "coinduction on the execution".