Popularity
5.0
Declining
Activity
0.0
Stable
8
2
2

Monthly Downloads: 61
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Tags: Logic     Theorem Provers    

Folly alternatives and similar packages

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

Do you think we are missing an alternative of Folly or a related project?

Add another 'Theorem Provers' Package