Popularity
3.7
Declining
Activity
0.0
Stable
2
4
1

Monthly Downloads: 15
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Tags: Math     Language     Formal Methods    

acl2 alternatives and similar packages

Based on the "Formal Methods" category.
Alternatively, view acl2 alternatives based on common mentions on social networks and blogs.

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

Add another 'Formal Methods' Package