afv alternatives and similar packages

Based on the "Formal Methods" category.
Alternatively, view afv alternatives based on common mentions on social networks and blogs.

what4

9.5 8.5 afv VS what4

Symbolic formula representation and solver interaction library
hermit

8.9 0.0 afv VS hermit

Haskell Equational Reasoning Model-to-Implementation Tunnel

CodeRabbit: AI Code Reviews for Developers

Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.

Promo coderabbit.ai

sbvPlugin

8.2 5.6 afv VS sbvPlugin

Formally prove properties of Haskell programs using SBV/SMT.
smtlib2

6.9 0.0 afv VS smtlib2

SMTLib2 interface implementation for Haskell
SmtLib

5.6 0.0 afv VS SmtLib

Parser for smt-lib Command responses
theoremquest

4.3 0.0 afv VS theoremquest

A common library for TheoremQuest, a theorem proving game.
tptp

3.9 0.0 afv VS tptp

Parser and pretty printer for the TPTP language
acl2

2.9 0.0 afv VS acl2

Writing and calling ACL2 from Haskell.