Popularity
3.7
Declining
Activity
0.0
Stable
2
4
1
Monthly Downloads: 12
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
acl2 alternatives and similar packages
Based on the "Formal Methods" category.
Alternatively, view acl2 alternatives based on common mentions on social networks and blogs.
-
theoremquest
A common library for TheoremQuest, a theorem proving game.
InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
Promo
www.influxdata.com
Do you think we are missing an alternative of acl2 or a related project?