coq

condav8.12.2

Coq is a formal proof management system

License LGPL-2.1-only8 versions1 maintainers0 deps213 weekly dl
coq/coq
47
/ 100
Health
safe to use

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

Health breakdown0 – 100
5/25
maintenance
3/20
popularity
25/25
security
12/15
maturity
2/15
community
Vulnerabilities
0
none known
⚠ Possible typosquat
Name is close to a popular package. Targets:
comm (close_name dist 2)

Health History

Dependency Tree

License Audit

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/conda/coq

First published · 2019-02-25 19:41:30.307000+00:00

Last updated · 2025-04-22 14:57:01.999000+00:00