Is coq-jupyter safe to use?

coq-jupyter has no known vulnerabilities on the latest version (1.6.0). DepScope rates its health at 47/100 (high risk).

What is the latest version of coq-jupyter?

The latest version of coq-jupyter is 1.6.0, released 2025-04-22.

Does coq-jupyter have known vulnerabilities?

No known vulnerabilities on the latest version of coq-jupyter.

Is coq-jupyter deprecated?

No, coq-jupyter is actively maintained. Latest release: 1.6.0 (2025-04-22).

What are alternatives to coq-jupyter?

DepScope has no curated alternatives for coq-jupyter at this time.

What license does coq-jupyter use?

coq-jupyter is licensed under Apache-2.0.

coq-jupyter

condav1.6.0

Jupyter kernel for Coq

License Apache-2.0permissive5 versions1 maintainers0 deps565 weekly dl

EugeneLoy/coq_jupyter

/ 100

Health

use with caution

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

Moderate health score (47/100) — verify manually

Health breakdown0 – 100

5/25

maintenance

3/20

popularity

25/25

security

12/15

maturity

2/15

community

Vulnerabilities

none known

Health History

Dependency Tree

License Audit

API access

Get this data programmatically — free, no authentication.

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

First published · 2020-10-14 19:59:42.521000+00:00

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