qed alternatives and similar packages
Based on the "Theorem Provers" category.
Alternatively, view qed alternatives based on common mentions on social networks and blogs.
9.8 8.2 qed VS tamarin-proverMain source code repository of the Tamarin prover for security protocol verification.
Do you think we are missing an alternative of qed or a related project?
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".