Coq Jupyter Files

Jupyter kernel for Coq

This is an exact mirror of the Coq Jupyter project, hosted at https://github.com/EugeneLoy/coq_jupyter. SourceForge is not affiliated with Coq Jupyter. For more information, see the SourceForge Open Source Mirror Directory.

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
coq_jupyter-1.5.1-py2.py3-none-any.whl	2019-06-20	20.2 kB	0
coq_jupyter-1.5.1.tar.gz	2019-06-20	21.3 kB	0
v1.5.1 source code.tar.gz	2019-06-20	26.6 kB	0
v1.5.1 source code.zip	2019-06-20	31.0 kB	0
Totals: 4 Items		99.1 kB	0

Other Useful Business Software

Auth0 for AI Agents now in GA

Ready to implement AI with confidence (without sacrificing security)?

Connect your AI agents to apps and data more securely, give users control over the actions AI agents can perform and the data they can access, and enable human confirmation for critical agent actions.

Start building today

Dun and Bradstreet Risk Analytics - Supplier Intelligence

Use an AI-powered solution for supply and compliance teams who want to mitigate costly supplier risks intelligently.

Risk, procurement, and compliance teams across the globe are under pressure to deal with geopolitical and business risks. Third-party risk exposure is impacted by rapidly scaling complexity in domestic and cross-border businesses, along with complicated and diverse regulations. It is extremely important for companies to proactively manage their third-party relationships. An AI-powered solution to mitigate and monitor counterparty risks on a continuous basis, this cutting-edge platform is powered by D&B’s Data Cloud with 520M+ Global Business Records and 2B+ yearly updates for third-party risk insights. With high-risk procurement alerts and multibillion match points, D&B Risk Analytics leverages best-in-class risk data to help drive informed decisions. Perform quick and comprehensive screening, using intelligent workflows. Receive ongoing alerts of key business indicators and disruptions.

Learn More

Recommended Projects

OCaml Jupyter
An OCaml kernel for Jupyter (IPython) notebook
Lambda Tamer
A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant
nbdev
Create delightful software with Jupyter Notebooks
Jupyter Notebook
Jupyter Interactive Notebook
Jupyter Notebook Viewer
A Jupyter notebook viewer for macOS

Coq Jupyter Files

Jupyter kernel for Coq

Get an email when there's a new version of Coq Jupyter