Is equational-reasoning safe to use?

equational-reasoning has no known vulnerabilities on the latest version (0.7.1.0). DepScope rates its health at 54/100 (high risk).

What is the latest version of equational-reasoning?

The latest version of equational-reasoning is 0.7.1.0, released 2026-01-18.

No known vulnerabilities on the latest version of equational-reasoning.

No, equational-reasoning is actively maintained. Latest release: 0.7.1.0 (2026-01-18).

DepScope has no curated alternatives for equational-reasoning at this time.

equational-reasoning is licensed under BSD-3-Clause.

hackagev0.7.1.0

Proof assistant for Haskell using DataKinds & PolyKinds

License BSD-3-Clausepermissive28 versions1 maintainers0 deps

/ 100

Health

safe to use

[email protected] is safe to use (health: 54/100)

Health breakdown0 – 100

15/25

maintenance

0/20

popularity

25/25

security

12/15

maturity

2/15

community

Vulnerabilities

none known

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/hackage/equational-reasoning

Last updated · 2026-01-18T03:41:01.66945819Z