Compare qed and tamarin-prover's popularity and activity
Popularity
3.9
Growing
Activity
0.0
Stable
Popularity
9.8
Stable
Activity
3.4
-
qed | tamarin-prover | |
3 | 326 | |
4 | 25 | |
0 | 101 | |
- | 268 days | |
over 7 years ago | over 2 years ago | |
over 7 years ago | 13 days ago | |
3 | 35 | |
Haskell | Haskell | |
BSD 3-clause "New" or "Revised" License | LicenseRef-GPL | |
Logic, Theorem Provers | Logic, Theorem Provers, Tamarin |
Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.
Interest over time of qed and tamarin-prover
Note: It is possible that some search terms could be used in multiple areas and that could skew some graphs.
More comparisons
-
tamarin-provervstip-haskell-frontend
-
qedvspicosat
-
tamarin-provervslogic-classes
-
tamarin-provervsminisat
-
tamarin-provervspicosat
-
tamarin-provervssatchmo
Do not miss the trending Haskell projects and news
» Subscribe to our newsletter «
» Subscribe to our newsletter «