afv vs what4

Compare afv and what4's popularity and activity

Popularity

5.0

Growing

Activity

0.0

Stable

Popularity

9.5

Stable

Activity

8.0

Growing

afv		what4
	Repository
9	Stars	168
3	Watchers	26
1	Forks	13
almost 15 years ago	Last Commit	4 days ago
	More
7	Monthly	31
Haskell	Language	Haskell
BSD 3-clause "New" or "Revised" License	License	BSD 3-clause "New" or "Revised" License
Math, Formal Methods	Tags	Math, Theorem Provers, Formal Methods, Symbolic Computation, SMT

SaaSHub - Software Alternatives and Reviews Sponsored

SaaSHub helps you find the best software and product alternatives

Interest over time of afv and what4

Note: It is possible that some search terms could be used in multiple areas and that could skew some graphs.

The line chart is based on worldwide web search for the past 12 months.
If you don't see the graphs
either there isn't enough search volume
or you need to refresh the page

More comparisons

what4

vs

nuha
what4

vs

fast-math
afv

vs

SmtLib
afv

vs

tptp
what4

vs

ad
what4

vs

theoremquest

View all 9 Formal Methods packages

Do not miss the trending Haskell projects and news
» Subscribe to our newsletter «

Compare afv and what4's popularity and activity

Interest over time of afv and what4

More comparisons

afv

VS

what4