Is beautifHOL safe to use?

beautifHOL has no known vulnerabilities on the latest version (0.11). DepScope rates its health at 30/100 (critical risk).

What is the latest version of beautifHOL?

The latest version of beautifHOL is 0.11, released 2009-01-21.

No known vulnerabilities on the latest version of beautifHOL.

No, beautifHOL is actively maintained. Latest release: 0.11 (2009-01-21).

DepScope has no curated alternatives for beautifHOL at this time.

beautifHOL is licensed under LicenseRef-GPL.

hackagev0.11

A pretty-printer for higher-order logic

License LicenseRef-GPL3 versions1 maintainers0 deps

/ 100

Health

use with caution

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

Health breakdown0 – 100

0/25

maintenance

0/20

popularity

25/25

security

3/15

maturity

2/15

community

Vulnerabilities

none known

API access

Get this data programmatically — free, no authentication.

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

Last updated · 2009-01-21T05:53:49Z