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.9 Folly VS tamarin-prover

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

7.6 0.0 Folly VS tip-haskell-frontend

Convert from Haskell to Tip

Download talent.io’s Tech Salary Report

Median salaries, most in-demand technologies, state of the remote work... all you need to know your worth on the market by tech recruitment platform talent.io

Promo www.talent.io

qed

2.4 0.0 Folly VS qed

Experiments writing a prover
haskhol-core

0.9 0.0 Folly VS haskhol-core

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