Popularity
2.7
Declining
Activity
0.0
Stable
3
2
0

Monthly Downloads: 5
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.

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

Add another 'Theorem Provers' Package

README

QED Prover Hackage version Build Status

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".