Folly alternatives and similar packages

Based on the "Theorem Provers" category.
Alternatively, view Folly alternatives based on common mentions on social networks and blogs.

tamarin-prover

9.8 8.7 Folly VS tamarin-prover

Main source code repository of the Tamarin prover for security protocol verification.
tip-haskell-frontend

7.5 7.5 Folly VS tip-haskell-frontend

Convert from Haskell to Tip

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

qed

3.3 0.0 Folly VS qed

Experiments writing a prover
haskhol-core

0.7 0.0 Folly VS haskhol-core

The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.