rocq has no known vulnerabilities on the latest version (9.1.1). DepScope rates its health at 56/100 (high risk).

What is the latest version of rocq?

The latest version of rocq is 9.1.1, released 2026-03-22.

Does rocq have known vulnerabilities?

No known vulnerabilities on the latest version of rocq.

No, rocq is actively maintained. Latest release: 9.1.1 (2026-03-22).

DepScope has no curated alternatives for rocq at this time.

rocq is licensed under LGPL-2.1-only.

homebrewv9.1.1

Proof assistant for higher-order logic

License LGPL-2.1-only1 versions1 maintainers5 deps26 weekly dl

/ 100

Health

safe to use

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

Health breakdown0 – 100

20/25

maintenance

0/20

popularity

25/25

security

9/15

maturity

2/15

community

Vulnerabilities

none known

Dependencies (5)

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/homebrew/rocq

Last updated · 2026-03-22T03:32:09Z