g4ip-prover

hackagev2.0.0.0

Theorem prover for intuitionistic propositional logic using G4ip

License MITpermissive3 versions1 maintainers0 deps
8084/g4ip-prover
30
/ 100
Health
use with caution

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

  • Low health score (30/100)
Health breakdown0 – 100
0/25
maintenance
0/20
popularity
25/25
security
3/15
maturity
2/15
community
Vulnerabilities
0
none known

Health History

Dependency Tree

License Audit

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/hackage/g4ip-prover

Last updated · 2018-12-28T21:57:51.00168639Z