atp

hackagev0.1.0.0

Interface to automated theorem provers

License GPL-3.0-only1 versions1 maintainers0 deps
aztek/atp
27
/ 100
Health
use with caution

[email protected] low health (27/100) — consider alternatives

  • Low health score (27/100)
Health breakdown0 – 100
0/25
maintenance
0/20
popularity
25/25
security
0/15
maturity
2/15
community
Vulnerabilities
0
none known
⚠ Possible typosquat
Name is close to a popular package. Targets:
aws (adjacent_swap_or_double dist 2)

Health History

Dependency Tree

License Audit

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/hackage/atp

Last updated · 2021-01-25T14:57:07.886273668Z